Sciweavers

1378 search results - page 4 / 276
» The Tractability of Global Constraints
Sort
View
EMMCVPR
2005
Springer
15 years 5 months ago
Spatio-temporal Prior Shape Constraint for Level Set Segmentation
Abstract. This paper exposes a novel formulation of prior shape constraint incorporation for the level set segmentation of objects from corrupted images. Applicable to variational ...
Timothée Bailloeul, Véronique Prinet...
CP
2009
Springer
16 years 9 days ago
Same-Relation Constraints
The ALLDIFFERENT constraint was one of the first global constraints [17] and it enforces the conjunction of one binary constraint, the not-equal constraint, for every pair of varia...
Christopher Jefferson, Karen E. Petrie, Meinolf Se...
AIPS
2007
15 years 2 months ago
Act Local, Think Global: Width Notions for Tractable Planning
Many of the benchmark domains in AI planning are tractable on an individual basis. In this paper, we seek a theoretical, domain-independent explanation for their tractability. We ...
Hubie Chen, Omer Giménez
90
Voted
CORR
2010
Springer
109views Education» more  CORR 2010»
14 years 11 months ago
Hybrid tractability of soft constraint problems
The constraint satisfaction problem (CSP) is a central generic problem in artificial intelligence. Considerable effort has been made in identifying properties which ensure tractabi...
Martin C. Cooper, Stanislav Zivný
77
Voted
CP
2007
Springer
15 years 5 months ago
Breaking Symmetry of Interchangeable Variables and Values
Abstract. A common type of symmetry is when both variables and values partition into interchangeable sets. Polynomial methods have been introduced to eliminate all symmetric soluti...
Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. ...