714 search results - page 49 / 143 » Verification and Compliance Testing |
79
Voted
ICPR
2000
IEEE
16 years 1 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...
98
Voted
ASPDAC
2004
ACM
15 years 4 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...
101
click to vote
TVLSI
2008
15 years 15 days 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...
117
click to vote
MICS
2008
15 years 3 days 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...
87
Voted
ICPR
2002
IEEE
16 years 1 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...