Sciweavers

4524 search results - page 162 / 905
» The Complexity of Global Constraints
Sort
View
CP
1998
Springer
15 years 5 months ago
A Framework for Assertion-Based Debugging in Constraint Logic Programming
Abstract. We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions which allow expressing properties of pr...
Germán Puebla, Francisco Bueno, Manuel V. H...
168
Voted
CP
1995
Springer
15 years 4 months ago
Asynchronous Weak-commitment Search for Solving Distributed Constraint Satisfaction Problems
A distributed constraint satisfaction problem (Distributed CSP) is a CSP in which variables and constraints are distributed among multiple automated agents, and various application...
Makoto Yokoo
92
Voted
VRIPHYS
2010
14 years 7 months ago
A Triangle Bending Constraint Model for Position-Based Dynamics
We present a novel bending model and constraint creation method for position-based dynamics. Our new bending model is introduced as an alternative to the current state-of-the-art ...
Micky Kelager, Sarah Niebe, Kenny Erleben
117
Voted
ATAL
2005
Springer
15 years 6 months ago
A polynomial algorithm for decentralized Markov decision processes with temporal constraints
One of the difficulties to adapt MDPs for the control of cooperative multi-agent systems, is the complexity issued from Decentralized MDPs. Moreover, existing approaches can not ...
Aurélie Beynier, Abdel-Illah Mouaddib
120
Voted
COCO
2008
Springer
129views Algorithms» more  COCO 2008»
15 years 2 months ago
Constraint Logic: A Uniform Framework for Modeling Computation as Games
We introduce a simple game family, called Constraint Logic, where players reverse edges in a directed graph while satisfying vertex in-flow constraints. This game family can be in...
Erik D. Demaine, Robert A. Hearn