Sciweavers

4914 search results - page 121 / 983
» Arbitration of a help system
Sort
View
ICRA
2003
IEEE
118views Robotics» more  ICRA 2003»
14 years 1 months ago
Remote Book Browsing System Using a Mobile Manipulator
This paper describes a system which uses a mobile manipulator as a teleoperated tool for accessing and manipulating remote objects, in our challenge to extend mobile robot potenti...
Tetsuo Tomizawa, Akihisa Ohya, Shin'ichi Yuta
MEMOCODE
2003
IEEE
14 years 1 months ago
Real-time Property Preservation in Approximations of Timed Systems
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
Jinfeng Huang, Jeroen Voeten, Marc Geilen
SIGUCCS
2003
ACM
14 years 1 months ago
Integrating WebCT with diverse campus systems
The University of Delaware has a powerful legacy SIS system. The University plans to replace this system in 2004-05. In the meantime, we have populated WebCT rosters using custom ...
Jeff Whisler
UML
2001
Springer
14 years 15 days ago
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems
Abstract: A lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming ...
Richard F. Paige, Jonathan S. Ostroff
ICRA
1999
IEEE
119views Robotics» more  ICRA 1999»
14 years 11 days ago
Mobile Robot Localization Based on an Omnidirectional Stereoscopic Vision Perception System
This paper presents a system of absolute localization based on the stereoscopic omnidirectional vision. To do it we use an original perception system which allows our omnidirectio...
Cyril Drocourt, Laurent Delahoche, Claude Pé...