13841 search results - page 383 / 2769 » Algorithms and Constraint Programming |
172
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
We present a fully distributed multi-agent planning algorithm. Our methodology uses distributed constraint satisfaction to coordinate between agents, and local planning to ensure ...
190
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
UML class diagrams are usually annotated with OCL expressions that constrain their possible instantiation. In our work we have investigated how OCL annotations can be automatically...
190
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
The paper proposes a novel software-pipelining algorithm, Register Sensitive Force Directed Retiming Algorithm (RSFDRA), suitable for optimizing compilers targeting embedded VLIW ...
284
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
We consider the problem of repairing a database that is inconsistent wrt a set of integrity constraints by updating numerical values. In particular, we concentrate on denial integ...
147
click to vote
EVOW
2005
Springer
16 years 11 days ago
2005
Springer
University Course Timetabling-Problems (UCTPs) involve the allocation of resources (such as rooms and timeslots) to all the events of a university, satisfying a set of hard-constra...