1381 search results - page 75 / 277 » Computational Complexity of Constraint Satisfaction |
148
click to vote
AIPS
2003
15 years 5 months ago
2003
Symmetries are inherent in systems that consist of several interchangeable objects or components. When reasoning about such systems, big computational savings can be obtained if t...
139
click to vote
TCS
2010
15 years 2 months ago
2010
Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical consistency easily. This paper focus...
133
click to vote
ICCV
2001
IEEE
16 years 6 months ago
2001
IEEE
We propose a method of image segmentation by integrating pairwise attraction and directional repulsion derived from local grouping and figure-ground cues. These two kinds of pairw...
102
Voted
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Integer octagonal constraints (a.k.a. Unit Two Variables Per Inequality or UTVPI integer constraints) constitute an interesting class of constraints for the representation and solu...
120
Voted
CPAIOR
2008
Springer
15 years 5 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...