850 search results - page 31 / 170 » Constraint propagation on quadratic constraints |
CONSTRAINTS
2006
13 years 8 months ago
2006
Covering arrays can be applied to the testing of software, hardware and advanced materials, and to the effects of hormone interaction on gene expression. In this paper we develop c...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
Image registration is the process of geometrically aligning two or more images. In this paper we describe a method for registering pairs of images based on thin-plate spline mappi...
FLAIRS
2004
13 years 10 months ago
2004
What makes a good consistency ? Depending on the constraint, it may be a good pruning power or a low computational cost. By "weakening" arc-consistency, we propose to de...
CPAIOR
2008
Springer
13 years 10 months ago
2008
Springer
We present a propagator that achieves MDD consistency for a separable equality over an MDD (multivalued decision diagram) store in pseudo-polynomial time. We integrate the propagat...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Building adaptive constraint solvers is a major challenge in constraint programming. An important line of research towards this goal is concerned with ways to dynamically adapt th...