Sciweavers

4591 search results - page 387 / 919
» The Global Computer
Sort
View
177
Voted
ROBOCUP
1999
Springer
194views Robotics» more  ROBOCUP 1999»
15 years 11 months ago
Agilo RoboCuppers: RoboCup Team Description
This paper describes the Agilo RoboCuppers 1 – the RoboCup team of the image understanding group (FG BV) at the Technische Universit¨at M¨unchen. With a team of five Pioneer 1...
Thorsten Bandlow, Robert Hanek, Michael Klupsch, T...
ESEC
1997
Springer
15 years 11 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
ICRA
1994
IEEE
127views Robotics» more  ICRA 1994»
15 years 11 months ago
A Comparison of Position Estimation Techniques Using Occupancy Grids
A mobile robot requires perception of its local environment for both sensor based locomotion and for position estimation. Occupancy grids, based on ultrasonic range data, provide ...
Bernt Schiele, James L. Crowley
LICS
1993
IEEE
15 years 11 months ago
Verifying Programs with Unreliable Channels
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
Parosh Aziz Abdulla, Bengt Jonsson
AICCSA
2007
IEEE
209views Hardware» more  AICCSA 2007»
15 years 10 months ago
LBS and GIS Technology Combination and Applications
Location Based Services (LBSs) provide personalized services to the subscribers based on their current position using Global Navigation Satellite System (GNSS), Geographic Informa...
Balqies Sadoun, Omar Al-Bayari