Sciweavers

1264 search results - page 67 / 253
» The framework approach for constraint satisfaction
Sort
View
EAAI
2008
111views more  EAAI 2008»
15 years 6 months ago
Fuzzy conditional temporal problems: Strong and weak consistency
: In real life scenarios there is often the need for modelling conditional plans where external events determgine the actual execution sequence. Conditional Temporal Problems (CTPs...
Marco Falda, Francesca Rossi, Kristen Brent Venabl...
IJCAI
2007
15 years 7 months ago
Arc Consistency during Search
Enforcing arc consistency (AC) during search has proven to be a very effective method in solving Constraint Satisfaction Problems and it has been widely-used in many Constraint Pr...
Chavalit Likitvivatanavong, Yuanlin Zhang, Scott S...
AAAI
2004
15 years 7 months ago
Complete Local Search for Propositional Satisfiability
Algorithms based on following local gradient information are surprisingly effective for certain classes of constraint satisfaction problems. Unfortunately, previous local search a...
Hai Fang, Wheeler Ruml
PAMI
2007
183views more  PAMI 2007»
15 years 5 months ago
Variational Surface Interpolation from Sparse Point and Normal Data
Many visual cues for surface reconstruction from known views are sparse in nature, e.g. specularities, surface silhouettes and salient features in an otherwise textureless region....
Jan Erik Solem, Henrik Aanæs, Anders Heyden
COMPASS
1991
15 years 9 months ago
Label Algebras: A Systematic Use of Terms
: We give the main definitions and results of a new framework for algebraic specifications: the framework of label algebras. The main idea underlying our approach is that the sem...
Gilles Bernot, Pascale Le Gall