714 search results - page 112 / 143 » Lexicographically-ordered constraint satisfaction problems |
ICMCS
1999
IEEE
14 years 2 months ago
1999
IEEE
Advances in networking and transmission of digital multimedia data will bring soon huge catalogues of music to users. Accessing these catalogues raises a problem for users and con...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We investigate different evaluation strategies for planning problems represented as constraint satisfaction or satisfiability problems. The standard evaluation strategy, ...
ICIP
2009
IEEE
13 years 7 months ago
2009
IEEE
Camera assignment and hand-off are some of the key image processing problems in a video network. In this paper, we propose a new approach for camera assignment and handoff in a vi...
CP
2008
Springer
13 years 11 months ago
2008
Springer
ABT is the reference algorithm for asynchronous distributed constraint satisfaction. When searching, ABT produces nogoods as justifications of deleted values. When one of such nogo...
AAAI
2010
13 years 11 months ago
2010
Consistency properties and algorithms for achieving them are at the heart of the success of Constraint Programming. In this paper, we study the relational consistency property R(,...