614 search results - page 95 / 123 » aime 2003 |
104
click to vote
ICFEM
2003
Springer
15 years 5 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
ICMI
2003
Springer
15 years 5 months ago
2003
Springer
This paper presents a low-cost and practical approach to achieve basic input using a tactile cube-shaped object, augmented with a set of sensors, processor, batteries and wireless...
110
click to vote
ICSE
2003
IEEE-ACM
15 years 5 months ago
2003
IEEE-ACM
Abstract. Dependable distributed applications require flexible infrastructure support for controlled redundancy, replication, and recovery of components and services. However, mos...
ICVS
2003
Springer
15 years 5 months ago
2003
Springer
The quality control and update of geo-data, in this case especially of road-data, is the primary aim of the system, which is presented in the paper. One important task of the syste...
ICVS
2003
Springer
15 years 5 months ago
2003
Springer
This paper discusses methods behind tracker evaluation, the aim being to evaluate how well a tracker is able to determine the position of a target object. Few metrics exist for pos...