58 search results - page 3 / 12 » Soft Constraint Propagation and Solving in Constraint Handli... |
CVPR
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we propose a symmetric stereo model to handle occlusion in dense two-frame stereo. Our occlusion reasoning is directly based on the visibility constraint that is mo...
FLAIRS
2006
13 years 9 months ago
2006
Constraint-based techniques are frequently used in solving real-life scheduling problems thanks to natural modeling capabilities and strong constraint propagation techniques encod...
EPIA
2001
Springer
14 years 10 days ago
2001
Springer
This paper addresses constraint solving over continuous domains in the context of decision making, and discusses the trade-off between precision in the definition of the solution s...
AIMSA
2008
Springer
13 years 9 months ago
2008
Springer
In this paper, we want to handle multiple interleaved Alldiff constraints from two points of view: a uniform propagation framework with some CSP reduction rules and a SAT encoding ...
ENTCS
2008
13 years 8 months ago
2008
Most well-known algorithms for equational solving are based on quantifier elimination. This technique iteratively eliminates the innermost block of existential/universal quantifie...