2914 search results - page 506 / 583 » Learning and Inference with Constraints |
CAEPIA
2009
Springer
13 years 11 months ago
2009
Springer
Mixed Multi-Unit Combinatorial Auctions (MMUCAs) offer a high potential to be employed for the automated assembly of supply chains of agents. However, little is known about the fac...
EDM
2010
13 years 10 months ago
2010
This poster will describe the Learner Interaction Monitoring System (LiMS), designed to capture data demonstrating learner online engagement with course materials. The poster prese...
COMPSAC
2008
IEEE
13 years 10 months ago
2008
IEEE
Model-driven engineering proposes to develop software systems by first creating an executable model of the system design and then transforming this model into an implementation. T...
COGSCI
2007
13 years 10 months ago
2007
: Modularity in the human brain remains a controversial issue, with disagreement over the nature of the modules that exist, and why, when and how they emerge. It is a natural assum...
JAIR
2008
13 years 10 months ago
2008
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that is built on top of MINISAT+. It incorporates the best current SAT and Max-SAT techniques. It can handle hard claus...