Sciweavers

980 search results - page 145 / 196
» Decentralized Constraint Satisfaction
Sort
View
EAAI
2008
111views more  EAAI 2008»
13 years 9 months ago
Fuzzy conditional temporal problems: Strong and weak consistency
: In real life scenarios there is often the need for modelling conditional plans where external events determgine the actual execution sequence. Conditional Temporal Problems (CTPs...
Marco Falda, Francesca Rossi, Kristen Brent Venabl...
COR
2006
120views more  COR 2006»
13 years 9 months ago
A hybrid setup for a hybrid scenario: combining heuristics for the home health care problem
Home health care, i.e. visiting and nursing patients in their homes, is a growing sector in the medical service business. From a staff rostering point of view, the problem is to f...
Stefan Bertels, Torsten Fahle
PPDP
2010
Springer
13 years 7 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...
JSS
2010
136views more  JSS 2010»
13 years 3 months ago
Automated diagnosis of feature model configurations
Software product-lines (SPLs) are software architectures that can be readily reconfigured for different project requirements. A key part of an SPL is a model that captures the rul...
Jules White, David Benavides, Douglas C. Schmidt, ...
ICRA
2005
IEEE
109views Robotics» more  ICRA 2005»
14 years 2 months ago
Controlling Swarms of Robots Using Interpolated Implicit Functions
— We address the synthesis of controllers for large groups of robots and sensors, tackling the specific problem of controlling a swarm of robots to generate patterns specified ...
Luiz Chaimowicz, Nathan Michael, Vijay Kumar