4117 search results - page 228 / 824 » On the Satisfiability of Complex Constraints |
204
click to vote
CSCLP
2006
Springer
15 years 10 months ago
2006
Springer
A number of different satisfaction and optimisation combinatorial problems have recently been approached with constraint programming over the domain of finite sets, for increased d...
167
click to vote
SCA
2007
15 years 9 months ago
2007
Time warping allows users to modify timing without affecting poses. It has many applications in animation systems for motion editing, such as refining motions to meet new timing c...
165
click to vote
CPAIOR
2008
Springer
15 years 8 months ago
2008
Springer
Solution-Guided Multi-Point Constructive Search (SGMPCS) is a complete, constructive search technique that has been shown to out-perform standard constructive search techniques on ...
199
click to vote
AAAI
1998
15 years 8 months ago
1998
One of the surprising findings from the study of CNF satisfiability in the 1990's has been the success of iterative repair techniques, and in particular of weighted iterative...
179
click to vote
DKE
2008
15 years 6 months ago
2008
In this paper, we discuss a novel technique based on semantic constraints to improve the performance and portability of a reformulation-based question answering system. First, we ...