22121 search results - page 4358 / 4425 » Modeling annotated data |
ICRA
1999
IEEE
14 years 3 days ago
1999
IEEE
This paper describes a new method for improving the accuracy of range information using low resolution ultrasonic sensors mounted on a mobile robot. These sensors emit ultra-sound...
CAV
1999
Springer
14 years 3 days ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
IPPS
1999
IEEE
14 years 3 days ago
1999
IEEE
Abstract. Our work involves the development of a prototype Geographical Information System GIS as an example of the use of process networks as a well-de ned high-level semantic mod...
DEXA
1999
Springer
14 years 3 days ago
1999
Springer
: In an extensible database system, evaluation of a query plan is done in cooperation between a collection of operator implementation functions and a component of the DBMS that we ...
ESEC
1999
Springer
14 years 3 days ago
1999
Springer
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...