1992 search results - page 153 / 399 » Model Based Testing with Labelled Transition Systems |
129
Voted
BMVC
1998
15 years 4 months ago
1998
We present a method for learning appearance models that can be used to recognise and track both 3D head pose and identities of novel subjects with continuous head movement across ...
119
Voted
TVCG
2008
15 years 3 months ago
2008
We present a system for constructing 3D models of real-world objects with optically challenging surfaces. The system utilizes a new range imaging concept called multipeak range ima...
180
Voted
CPE
1994
Springer
15 years 7 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
131
Voted
SSIRI
2010
15 years 1 months ago
2010
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
125
Voted
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
ng precision of abstract SystemC models using the SystemC Verification Standard Franco Carbognani1 , Christopher K. Lennard2 , C. Norris Ip3 , Allan Cochrane2 , Paul Bates2 1 Caden...