714 search results - page 49 / 143 » Verification and Compliance Testing |
ICPR
2000
IEEE
14 years 10 months ago
2000
IEEE
The paper presents results of the face verification contest that was organized in conjunction with International Conference on Pattern Recognition 2000 [14]. Participants had to u...
ASPDAC
2004
ACM
14 years 16 days 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...
TVLSI
2008
13 years 8 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
MICS
2008
13 years 8 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
ICPR
2002
IEEE
14 years 10 months ago
2002
IEEE
The performance of face verification systems has steadily improved over the last few years, mainly focusing on models rather than on feature processing. State-of-the-art methods o...