4117 search results - page 110 / 824 » On the Satisfiability of Complex Constraints |
158
click to vote
ATAL
2009
Springer
16 years 29 days ago
2009
Springer
Knockout tournaments constitute a common format of sporting events, and also model a specific type of election scheme (namely, sequential pairwise elimination election). In such ...
134
click to vote
CP
2009
Springer
15 years 4 months ago
2009
Springer
Any sufficiently complex finite-domain constraint modelling language has the ability to express undefined values, for example division by zero, or array index out of bounds. This p...
141
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
We address the problem of multi-UAV surveillance in complex urban environments with occlusions. The problem consists of coordinating the flight of UAVs with on-board cameras so t...
147
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—In this paper, we propose a simple and efficient twostage list synchronizer for frame synchronization of Low-Density Parity-Check (LDPC) coded data transmitted over the...
149
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
This paper deals with methods exploiting tree-decomposition approaches for solving constraint networks. We consider here the practical efficiency of these approaches by defining fi...