3527 search results - page 447 / 706 » Test Automation in Practice |
FMCAD
1998
Springer
15 years 3 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
HRI
2007
ACM
15 years 3 months ago
2007
ACM
We present a new technique for human-robot interaction called robot expressionism through cartooning. We suggest that robots utilise cartoon-art techniques such as simplified and ...
ASPDAC
2004
ACM
15 years 2 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
97
Voted
CLEAR
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. This paper presents evaluation results of a method for tracking speakers in seminars from multiple cameras. First, 2D human tracking and detection is done for each view. ...
106
click to vote
ECCV
2006
Springer
15 years 2 months ago
2006
Springer
A scene containing multiple independently moving, possibly occluding, rigid objects is considered under the weak perspective camera model. We obtain a set of feature points tracke...