851 search results - page 49 / 171 » History Effects and Verification |
110
click to vote
IDEAL
2010
Springer
14 years 9 months ago
2010
Springer
Many of our activities on computer need a verification step for authorized access. The goal of verification is to tell apart the true account owner from intruders. We propose a gen...
120
click to vote
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
Gaussian mixture models (GMMs) are commonly used to model the spectral distribution of speech signals for text-independent speaker verification. Mean vectors of the GMM, used in c...
127
click to vote
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
Face verification has many potential applications including
filtering and ranking image/video search results on
celebrities. Since these images/videos are taken under uncontrolle...
101
click to vote
NOLISP
2005
Springer
15 years 5 months ago
2005
Springer
The difficulty of obtaining data from impostors and the scarcity of data are two factors that have a large influence in the estimation of speakerdependent thresholds in text-depend...
102
click to vote
BIRTHDAY
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...