553 search results - page 19 / 111 » Learning Meets Verification |
ICCAD
2007
IEEE
14 years 7 months ago
2007
IEEE
ICPR
2010
IEEE
14 years 2 months ago
2010
IEEE
We present a low resolution face recognition technique based on a Convolutional Neural Network approach. The network is trained to reconstruct a reference per subject image. In cl...
QEST
2010
IEEE
13 years 8 months ago
2010
IEEE
DAGSTUHL
2001
13 years 11 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
ACCV
1998
Springer
14 years 2 months ago
1998
Springer
An automatic personal identification system based solely on fingerprints or faces is often not able to meet the system performance requirements. Face recognition is fast but not ex...