1092 search results - page 211 / 219 » Surgical robotics - Born in space |
AI
1999
Springer
14 years 9 months ago
1999
Springer
We present an algorithm for producing behavior descriptions of planar fixed axes mechanical motions from image sequences using a formal behavior language. The language, which cove...
101
click to vote
MODELS
2010
Springer
14 years 8 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
NN
2010
Springer
14 years 8 months ago
2010
Springer
We present a model-free reinforcement learning method for partially observable Markov decision problems. Our method estimates a likelihood gradient by sampling directly in paramet...
GD
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. The study of (minimally) rigid graphs is motivated by numerous applications, mostly in robotics and bioinformatics. A major open problem concerns the number of embeddings...
IJRR
2010
14 years 7 months ago
2010
Scarab is a prototype rover for Lunar missions to survey resources in polar craters. It is designed as a prospector that would use a deep coring drill and apply soil analysis inst...