1219 search results - page 36 / 244 » Verification of Equivalent-Results Methods |
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper, we present an improved method of anchor models for speaker verification. Anchor model is the method that represent a speaker by his relativity of a set of other sp...
RC
2002
13 years 8 months ago
2002
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
ICCV
2009
IEEE
13 years 6 months ago
2009
IEEE
We present two novel methods for face verification. Our first method
ICPR
2002
IEEE
14 years 9 months ago
2002
IEEE
Fingerprint enhancement is a critical step in automatic fingerprint verification system. Most of the existing enhancement uses a set of contextual filters to enhance fingerprint. ...