Sciweavers

557 search results - page 78 / 112
» The L4.verified Project - Next Steps
Sort
View
ICRA
1999
IEEE
109views Robotics» more  ICRA 1999»
15 years 2 months ago
Image-Based Robot Navigation Under the Perspective Model
In a recent paper we have presented a method for image-based navigation by which a robot can navigate to desired positions and orientations in 3-0 space specified by single images...
Ronen Basri, Ehud Rivlin, Ilan Shimshoni
MSS
1999
IEEE
111views Hardware» more  MSS 1999»
15 years 2 months ago
Massive-Scale Data Management using Standards-Based Solutions
In common with many large institutes, CERN has traditionally developed and maintained its own data management solutions. Recently, a significant change of direction has taken plac...
Jamie Shiers
ICVS
1999
Springer
15 years 2 months ago
3-D Modelling and Robot Localization from Visual and Range Data in Natural Scenes
Abstract. This paper concerns the exploration of a natural environment by a mobile robot equipped with both a video camera and a range sensor (stereo or laser range finder); we fo...
Carlos Parra, Rafael Murrieta-Cid, Michel Devy, Ma...
IMR
1999
Springer
15 years 2 months ago
Parallel Advancing Front Grid Generation
The primary focus of this project is to design and implement a parallel framework for an unstructured mesh generator based on the advancing front method (AFM). In particular, we t...
Rainald Löhner, Juan R. Cebral
AGENTS
1997
Springer
15 years 1 months ago
High-Level Planning and Low-Level Execution: Towards a Complete Robotic Agent
We have been developing Rogue, an architecture that integrates high-level planning with a low-level executing robotic agent. Rogue is designed as the oce gofer task planner for X...
Karen Zita Haigh, Manuela M. Veloso