3718 search results - page 158 / 744 » Programming by Integration in Robotics |
152
click to vote
LPAR
2005
Springer
16 years 6 hour ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
166
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes an integrated approach for interpreting a user’s responses and generating replies in the framework of a WWW-based Bayesian argumentation system. Our system c...
172
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
A high performance six degree-of-freedom magnetic levitation haptic interface device has been integrated with a physically-based dynamic rigid-body simulation to enable realistic ...
170
click to vote
USENIX
1993
15 years 7 months ago
1993
Robotic storage devices offer huge storage capacity at a low cost per byte, but with large access times. Integrating these devices into the storage hierarchy presents a challenge ...
151
click to vote
TITB
2002
15 years 6 months ago
2002
This paper reports on technology developments aimed at improving the state of the art for image-guided minimally invasive spine procedures. Back pain is a major health problem with...