230 search results - page 19 / 46 » Constraint Orbital Branching |
CADE
2000
Springer
14 years 13 hour ago
2000
Springer
Abstract. This article introduces two techniques to improve the propagation efficiency of CSP based finite model generation methods. One approach consists in statically rewriting ...
AAAI
1996
13 years 9 months ago
1996
This paper compares three commitment strategies for HTN planning: (1) a strategy that delays variable bindings as much as possible; (2) a strategy in which no non-primitive task i...
CAD
2008
Springer
13 years 7 months ago
2008
Springer
By simultaneously considering evolution processes for parametric spline curves and implicitly defined curves, we formulate the framework of dual evolution. This allows us to combin...
JDA
2010
13 years 2 months ago
2010
We present subexponential parameterized algorithms on planar graphs for a family of problems of the following shape: given a graph, find a connected (induced) subgraph with bounde...
ICRA
2003
IEEE
14 years 28 days ago
2003
IEEE
— A new 3D biped prototype with small DOF, SKIPPER, was developed. As an important component of a running controller for this robot, an aerial posture controller is presented. Th...