Sciweavers

949 search results - page 91 / 190
» Theory of Constraints
Sort
View
PPDP
2010
Springer
14 years 11 months ago
A declarative approach to robust weighted Max-SAT
The presence of uncertainty in the real world makes robustness to be a desired property of solutions to constraint satisfaction problems. Roughly speaking, a solution is robust if...
Miquel Bofill, Dídac Busquets, Mateu Villar...
97
Voted
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
15 years 4 months ago
Decentralized task allocation using magnet: an empirical evaluation in the logistics domain
This paper presents a decentralized task allocation method that can handle allocation of tasks with time and precedence constraints in a multi-agent setting where not all informat...
Mark Hoogendoorn, Maria L. Gini, Catholijn M. Jonk...
OPODIS
2004
15 years 2 months ago
Embedded Systems - Challenges and Work Directions
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
Joseph Sifakis
88
Voted
COGSCI
2010
105views more  COGSCI 2010»
15 years 24 days ago
The Role of Explanation in Discovery and Generalization: Evidence From Category Learning
Research in education and cognitive development suggests that explaining plays a key role in learning and generalization: When learners provide explanations--even to themselves--t...
Joseph J. Williams, Tania Lombrozo
SAC
2009
ACM
15 years 7 months ago
Runtime monitoring of web service choreographies using streaming XML
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...
Sylvain Hallé, Roger Villemaire