1124 search results - page 50 / 225 » Mobile robot programming using natural language |
LFCS
2009
Springer
14 years 4 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
ICRA
1999
IEEE
14 years 2 months ago
1999
IEEE
The mobile robot localization problem is decomposed into two stages attitude estimation followed by position estimation. The innovation of our method is the use of a smoother, in ...
IROS
2006
IEEE
14 years 4 months ago
2006
IEEE
– Sound source localization on a mobile robot can be a difficult task due to a variety of problems inherent to a real environment, including robot ego-noise, echoes, and the tran...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract Minimizing the energy consumption of target tracking using a mobile sensor network is proved to be NPcomplete. Based on proximity graph, an approximately optimal solution ...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
— Legged robots offer exceptional mobility in uncharted terrains. Their dynamic nature yields unrivaled mobility, but serves to destabilize the motion estimation process that und...