Sciweavers

4524 search results - page 162 / 905
» The Complexity of Global Constraints
Sort
View
CP
1998
Springer
15 years 10 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...
CP
1995
Springer
15 years 10 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
VRIPHYS
2010
15 years 1 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
ATAL
2005
Springer
16 years 2 days 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
COCO
2008
Springer
129views Algorithms» more  COCO 2008»
15 years 8 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