2488 search results - page 170 / 498 » An improvement in formal verification |
WACV
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper we describe a novel method for gait based identity verification based on Bayesian classification. The verification task is reduced to a two class problem (Client or ...
109
click to vote
CAV
2007
Springer
15 years 5 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
105
click to vote
PRL
2006
15 years 1 months ago
2006
Dealing with non-linear distortion in fingerprint images is a major difficulty for automated fingerprint verification systems. While this distortion can be a nuisance in minutiae ...
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
The falling cost of embedded sensor systems has opened up the possibility of in-transit air-coupled ultrasound interior imaging of shipping container cargo. This new technology co...
108
click to vote
ICASSP
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper describes a multi-biometric verification system that is fully adaptive to variability in data acquisition using fuzzy logic decision fusion. The system uses fuzzy logic...