601 search results - page 43 / 121 » CSP(M): Constraint Satisfaction Problem over Models |
117
click to vote
IJCAI
2003
15 years 2 months ago
2003
Temporal Constraint Satisfaction Problems allow for reasoning with events happening over time. Their expressiveness has been extended independently in two directions: to account f...
109
click to vote
CONSTRAINTS
2007
15 years 1 months ago
2007
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...
134
click to vote
AAAI
2000
15 years 2 months ago
2000
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
120
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
We explore the problem of reconstructing an image from a bag of square, non-overlapping image patches, the jigsaw puzzle problem. Completing jigsaw puzzles is challenging and requ...
135
click to vote
EMSOFT
2010
Springer
14 years 11 months ago
2010
Springer
Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on feat...