5216 search results - page 397 / 1044 » Planning as Model Checking |
141
click to vote
IROS
2006
IEEE
16 years 22 days ago
2006
IEEE
— A motion planner of emergency stop must make an operating humanoid robot to a stationary state under the emergency signal. It plays an important role in prevention of falling o...
164
click to vote
PG
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a brief overview of an algorithm for interactively animating object grasping and manipulation tasks for human figures. The technique is designed to efficiently genera...
153
click to vote
ENVSOFT
2006
15 years 6 months ago
2006
LQGraph implements methods for optimizing the connectivity of sites administered to protect biodiversity (a conservation area network). The methods are suitable for existing prote...
173
click to vote
CCE
2004
15 years 6 months ago
2004
This paper presents some new concepts and procedures for financial risk management. To complement the use of value at risk a new concept, upside potential or opportunity value as ...
192
click to vote
CRV
2005
IEEE
16 years 10 days ago
2005
IEEE
In this paper we present our approach to 3D surface reconstruction from large sparse range data sets. In space robotics constructing an accurate model of the environment is very i...