1616 search results - page 44 / 324 » A Framework for Hybrid Planning |
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
- The subject of this paper is a hybrid hip biped climbing robot. The hybrid hip provides both prismatic and revolute motion, discretely, to the robot, using a single actuator. Thi...
FOSSACS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— A hybrid controller that induces stable running gaits on a monopedal robot is developed. The robot features a rigid leg with a revolute knee and a heavy torso with center of ma...
PVLDB
2008
13 years 8 months ago
2008
Past work has suggested that query execution feedback can be useful in improving the quality of plans by correcting cardinality estimation errors in the query optimizer. The state...
ICS
2007
Tsinghua U.
14 years 2 months ago
2007
Tsinghua U.
Increased complexity of memory systems to ameliorate the gap between the speed of processors and memory has made it increasingly harder for compilers to optimize an arbitrary code...