955 search results - page 54 / 191 » A System for Solving Constraint Satisfaction Problems with S... |
111
click to vote
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
This paper proposes a technique for estimating piecewise planar models of objects from their images and geometric constraints. First, assuming a bounded noise in the localization ...
106
click to vote
CADE
2010
Springer
15 years 2 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
116
click to vote
CPAIOR
2007
Springer
15 years 7 months ago
2007
Springer
The Open-Shop Problem is a hard problem that can be solved using Constraint Programming or Operation Research methods. Existing techniques are efficient at reducing the search tree...
201
Voted
CP
2009
Springer
16 years 2 months ago
2009
Springer
The Valued Constraint Satisfaction Problem (VCSP) is a general framework encompassing many optimisation problems. We discuss precisely what it means for a problem to be modelled in...
102
click to vote
CP
2001
Springer
15 years 6 months ago
2001
Springer
In interactive graphical applications we often require that objects do not overlap. Such non-overlap constraints can be modelled as disjunctions of arithmetic inequalities. Unfortu...