33 search results - page 4 / 7 » Planning as Satisfiability with Relaxed $-Step Plans |
AROBOTS
2002
13 years 7 months ago
2002
We present an approach to path planning for humanoid robots that computes dynamically-stable, collision-free trajectories from full-body posture goals. Given a geometric model of t...
SYNASC
2006
IEEE
14 years 1 months ago
2006
IEEE
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
AI
2011
Springer
13 years 2 months ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
SG
2010
Springer
14 years 27 days ago
2010
Springer
ColourVision is an interactive installation that empowers people to step into an intensive dialogue with colors. Physical seating postures such as active, relaxed or reflective pos...
ICCV
2009
IEEE
15 years 25 days ago
2009
IEEE
We propose a novel consistent max-covering scheme for
human pose estimation. Consistent max-covering formulates
pose estimation as the covering of body part polygons
on an objec...