9370 search results - page 1647 / 1874 » An Abstract Notion of Application |
134
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
150
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Insertion velocity, tip asymmetry, and shaft diameter may influence steerable needle insertion paths in soft tissue. In this paper we examine the effects of these vari...
173
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Robotic routers (mobile robots with wireless communication capabilities) can create an adaptive wireless network and provide communication services for mobile users ond...
160
Voted
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— We present a novel approach to legged locomotion over rough terrain that is thoroughly rooted in optimization. This approach relies on a hierarchy of fast, anytime algorithms t...
174
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— The need for efficient monitoring of spatiotemporal dynamics in large environmental surveillance applications motivates the use of robotic sensors to achieve sufficie...