Sciweavers

5414 search results - page 898 / 1083
» Exploratory Model Building
Sort
View
115
Voted
ICRA
2003
IEEE
146views Robotics» more  ICRA 2003»
15 years 8 months ago
An atlas framework for scalable mapping
Abstract— This paper describes Atlas, a hybrid metrical/topological approach to SLAM that achieves efficient mapping of large-scale environments. The representation is a graph o...
Michael Bosse, Paul M. Newman, John J. Leonard, Ma...
101
Voted
ICRA
2003
IEEE
108views Robotics» more  ICRA 2003»
15 years 8 months ago
Trail-Laying Robots for Robust Terrain Coverage
— Robotics researchers have studied robots that can follow the trails laid by other robots. We, on the other hand, study robots that leave trails in the terrain to cover closed t...
Jonas Svennebring, Sven Koenig
123
Voted
IRI
2003
IEEE
15 years 8 months ago
A Formal Framework for Design Component Contracts
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
117
Voted
IWPSE
2003
IEEE
15 years 8 months ago
Reengineering a PC-Based System into the Mobile Device Product Line
There is a growing demand to port existing PC-based software systems to mobile device platforms. Systems running on mobile devices share basic characteristics with their PC-based ...
Weishan Zhang, Stan Jarzabek, Neil Loughran, Awais...
SRDS
2003
IEEE
15 years 8 months ago
Group Communication Protocols under Errors
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...
Claudio Basile, Long Wang, Zbigniew Kalbarczyk, Ra...