29 search results - page 6 / 6 » Reconciling Manual and Automated Testing: The AutoTest Exper... |
FDL
2008
IEEE
14 years 7 days ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
AMS
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. In this paper we presents a project that is developing a mobile service robot to assist users in biological and pharmaceutical laboratories by executing routine jobs such...
ICB
2007
Springer
13 years 9 months ago
2007
Springer
Characteristics of surveillance video generally include low resolution and poor quality due to environmental, storage and processing limitations. It is extremely difficult for comp...
MICCAI
2000
Springer
13 years 9 months ago
2000
Springer
: We present a simple and precise robot targeting method under portable x-ray fluoroscopy based on image servoing. The method is implemented for needle alignment in percutaneous pr...