1622 search results - page 125 / 325 » Autonomous Mobile Programs |
AIPS
2011
13 years 2 months ago
2011
Consider the task of a mobile robot autonomously navigating through an environment while detecting and mapping objects of interest using a noisy object detector. The robot must re...
FMCO
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
ICRA
2005
IEEE
14 years 4 months ago
2005
IEEE
– The design of a free piston compressor (FPC) intended as a pneumatic power supply for pneumatically actuated autonomous robots is presented in this paper. The FPC is a proposed...
ICRA
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract— Autonomous robot navigation in outdoor scenarios gains increasing importance in various growing application areas. Whereas in non-urban domains such as deserts the prob...
ICALP
2009
Springer
14 years 11 months ago
2009
Springer