12745 search results - page 421 / 2549 » Automating test automation |
209
click to vote
CAIP
1997
Springer
15 years 11 months ago
1997
Springer
This paper addresses the problem of accurately tracking the 3D motion of a monocular camera in a known 3D environment and dynamically estimating the 3D camera location. For that pu...
172
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
In this paper we explain the steps of the CAD tools developed for self checking circuits. The CAD tools developed are used to design Strongly Fault Secure, Strongly Code Disjoint ...
165
click to vote
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
166
click to vote
HOTOS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this position paper, we argue that an important piece of the system administration puzzle has largely been left untouched by researchers. This piece involves mechanisms and pol...
178
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
As planning agents grow more sophisticated, issues of plan representation arise alongside concerns with plan generation. Planning methods work over increasingly large and difficul...