Sciweavers

1092 search results - page 87 / 219
» Do summaries help
Sort
View
ICRA
1999
IEEE
119views Robotics» more  ICRA 1999»
15 years 8 months 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é...
SCCC
1999
IEEE
15 years 8 months ago
Using Computational Reflection in Optimistic Distributed Simulations
The recent studies in the distributed simulation area are focused in the High Level Architecture, defined by the DoD/USA, which proposes a standard environment to develop and run ...
Fernando Vardânega, Carlos Maziero
SPIN
1999
Springer
15 years 8 months ago
Model Checking Operator Procedures
Operator procedures are documents telling operators what to do in various situations. They are widely used in process industries including the nuclear power industry. The correctne...
Wenhui Zhang
CARDIS
1998
Springer
109views Hardware» more  CARDIS 1998»
15 years 8 months ago
The Vault, an Architecture for Smartcards to Gain Infinite Memory
Smartcard chips vendors have always done their best to embed more memory inside cards. These efforts are driven to allow their customers smartcard manufacturers - to mask more soft...
Patrick Biget
ACSE
1997
ACM
15 years 8 months ago
Towards literate tools for novice programmers
Literate programming is a powerful technique that helps expert programmers integrate code and documentation in a manner that assists human comprehension. To date, tools for litera...
Andy Cockburn, Neville Churcher