2450 search results - page 162 / 490 » Exploring Unknown Environments |
131
click to vote
ISOLA
2007
Springer
15 years 10 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
133
click to vote
AH
2006
Springer
15 years 10 months ago
2006
Springer
Adaptive link annotation is a popular adaptive navigation support technology. Empirical studies of adaptive annotation in the educational context have demonstrated that it can help...
110
click to vote
DCOSS
2005
Springer
15 years 10 months ago
2005
Springer
We consider a scenario in which anonymous, finite-state sensing devices are deployed in an ad-hoc communication network of arbitrary size and unknown topology, and explore what p...
147
click to vote
AI
2004
Springer
15 years 9 months ago
2004
Springer
Constraints formalize the dependencies in a physical world in terms of a logical relation among several unknowns. Constraint satisfaction methods allow efficient navigation of larg...
ICRA
1995
IEEE
15 years 8 months ago
1995
IEEE
This paper explores the possibility of using Sun altitude for localization of a robot in totally unknown territory. A set of Sun altitudes is obtained by processing a sequence of ...