1711 search results - page 177 / 343 » Completing pseudojump operators |
ICRA
1999
IEEE
14 years 16 days ago
1999
IEEE
With the success of Mars Pathfinder's Sojourner rover, a new era of planetary exploration has opened, with demand for highly capable mobile robots. These robots must be able ...
IDEAS
1999
IEEE
14 years 16 days ago
1999
IEEE
Data integration of several sources has gained considerable attentions with the recent popularity of the Web. In the real world, some information may be missing i.e., partial and ...
ENTCS
2000
13 years 8 months ago
2000
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...
PAMI
2000
13 years 8 months ago
2000
We describe an automated scene modeling system that consists of two components operating in an interleaved fashion: an incremental modeler that builds solid models from range imag...
CN
1998
13 years 8 months ago
1998
Internet transmission and switching facilities are partitioned into different administrative domains. To effect routing between domains, domain border routers establish pairwise p...