Sciweavers

1883 search results - page 262 / 377
» Searching with an autonomous robot
Sort
View
IROS
2007
IEEE
97views Robotics» more  IROS 2007»
16 years 22 days ago
Underwater SLAM in a marina environment
— This paper describes a navigation system for autonomous underwater vehicles (AUVs) in partially structured environments, such as dams, harbors, marinas or marine platforms. A m...
David Ribas, Pere Ridao, Juan D. Tardós, Jo...
FSR
2007
Springer
122views Robotics» more  FSR 2007»
16 years 18 days ago
Roving Faster Farther Cheaper
Current Mars rovers travel a few kilometers per year. Future rovers will need to travel a couple orders of magnitude faster than that in order to move from safe landing zones to a...
Matt Roman, David P. Miller, Zac White
IROS
2006
IEEE
110views Robotics» more  IROS 2006»
16 years 13 days ago
Robust Self-Localization in Industrial Environments based on 3D Ceiling Structures
- This paper introduces a new perceptual model for Monte Carlo Localization (MCL). In our approach a 3D laser scanner is used to observe the ceiling. The MCL matches ceiling struct...
Oliver Wulf, Daniel Lecking, Bernardo Wagner
ICAS
2005
IEEE
134views Robotics» more  ICAS 2005»
16 years 1 days ago
Timing Performance Control in Web Server Systems Utilizing Server Internal State Information
How to effectively allocate system resource to meet the Service Level Agreement (SLA) of Web servers is a challenging problem. In this paper, we propose an improved scheme for aut...
Xue Liu, Rong Zheng, Jin Heo, Qixin Wang, Lui Sha
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 10 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...