Sciweavers

1622 search results - page 125 / 325
» Autonomous Mobile Programs
Sort
View
AIPS
2011
14 years 5 months ago
Planning to Perceive: Exploiting Mobility for Robust Object Detection
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...
Javier Vélez, Garrett Hemann, Albert S. Hua...
FMCO
2004
Springer
157views Formal Methods» more  FMCO 2004»
15 years 7 months ago
MoMo: A Modal Logic for Reasoning About Mobility
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...
Rocco De Nicola, Michele Loreti
90
Voted
ICRA
2005
IEEE
146views Robotics» more  ICRA 2005»
15 years 7 months ago
Design of a Free Piston Pneumatic Compressor as a Mobile Robot Power Supply
– 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...
Jose Riofrio, Eric J. Barth
ICRA
2010
IEEE
116views Robotics» more  ICRA 2010»
15 years 23 days ago
Improved GPS sensor model for mobile robots in urban terrain
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...
Daniel Maier, Alexander Kleiner
ICALP
2009
Springer
16 years 2 months ago
MANETS: High Mobility Can Make Up for Low Transmission Power
Andrea E. F. Clementi, Francesco Pasquale, Riccard...