714 search results - page 81 / 143 » Verification and Compliance Testing |
143
click to vote
VSTTE
2010
Springer
15 years 1 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
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...
133
click to vote
ICAPR
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we propose a method to exploit the uniqueness in the illumination variations on the face image of a subject for face verification. Using the 3D wireframe model of a...
132
click to vote
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...
129
Voted
JMM2
2006
15 years 3 months ago
2006
Abstract-- In general automatic face classification applications images are captured in natural environments. In these cases, the performance is affected by variations in facial im...