2838 search results - page 476 / 568 » Verifying Controlled Components |
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
- This paper describes the design and fabrication of a low cost, solar powered mobile robot to support a variety of scientific missions on the Antarctic plateau during the austral ...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— Direct human control of multi-robot systems is limited by the cognitive ability of humans to coordinate numerous interacting components. In remote environments, such as those e...
IEEESCC
2005
IEEE
14 years 2 months ago
2005
IEEE
Service integration, the ultimate goal of Shanghai Grid, has created a necessity for more efficient and effective workflow infrastructure. Workflow design tool is one core compone...
INFOCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
— We present SPIDER – a system for fast replication or distribution of large content from a single source to multiple sites interconnected over Internet or via a private networ...
ISMAR
2005
IEEE
14 years 2 months ago
2005
IEEE
Paper-based cartographic maps provide highly detailed information visualisation with unrivalled fidelity and information density. Moreover, the physical properties of paper affor...