2032 search results - page 101 / 407 » Encodings of the Sequence Constraint |
161
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Some constraint problems have a combinatorial structure where the constraints allow the sequence of variables to be rotated (necklaces), if not also the domain values to ...
163
click to vote
ISVC
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we report a robust, efficient, and automatic method for matching infrared tracked markers for human motion analysis in computer-aided physical therapy applications. ...
185
click to vote
SARA
2009
Springer
16 years 26 days ago
2009
Springer
Classical planning deals with finding a (shortest) sequence of actions transferring the world from its initial state to a state satisfying the goal condition. Traditional planning...
160
click to vote
AAAI
2007
15 years 8 months ago
2007
The gap in automation between MIP/SAT solvers and those for constraint programming and constraint-based local search hinders experimentation and adoption of these technologies and...
221
click to vote
ASIAN
2009
Springer
15 years 7 months ago
2009
Springer
In their work on tractable deduction systems, D. McAllester and later D. Basin and H. Ganzinger have identified a property of inference systems (the locality property) that ensures...