3527 search results - page 473 / 706 » Test Automation in Practice |
WACV
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper describes design and implementation of a vision based platform for automated refueling tasks. The platform is an autonomous docking system in principle, with the specif...
ICLP
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
108
click to vote
DAGM
2001
Springer
15 years 3 months ago
2001
Springer
A complete processing chain for visual object recognition is described in this paper. The system automatically detects individual objects on an assembly line, identifies their typ...
ICCAD
2000
IEEE
15 years 3 months ago
2000
IEEE
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...
104
click to vote
CAV
1998
Springer
15 years 3 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...