2488 search results - page 327 / 498 » An improvement in formal verification |
ICIP
2000
IEEE
16 years 3 months ago
2000
IEEE
Rotation of the binary image of a document page for correcting the skew in the case of OCR or signature verification systems entails disfigurement of the shape of the characters, ...
ICPR
2004
IEEE
16 years 2 months ago
2004
IEEE
Information Fusion of multi-modal Biometrics has attracted much attention in recent years. However, this paper focuses on the information fusion in single modals, that is, the fac...
ICPR
2002
IEEE
16 years 2 months ago
2002
IEEE
We present a parametric method to automatically identify people in monocular low-resolution video by estimating the height and stride parameters of their gait. Stride parameters (...
106
click to vote
DAC
2008
ACM
16 years 2 months ago
2008
ACM
Many computational tools have recently begun to benefit from the use of the symmetry inherent in the tasks they solve, and use general-purpose graph symmetry tools to uncover this...
117
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
The use of Support Vector Machines (SVMs) to represent the performance space of analog circuits is explored. In abstract terms, an analog circuit maps a set of input design parame...