319 search results - page 11 / 64 » Criteria for the verification of feature models |
102
click to vote
COST
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. We propose a novel approach for on-line signature verification based on building HMM user models by adapting an ergodic Universal Background Model (UBM). State initializa...
104
click to vote
CADE
2009
Springer
16 years 13 days ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...
ANLP
1997
15 years 1 months ago
1997
Statistical models of word-sense disambiguation are often based on a small number of contextual features or on a model that is assumed to characterize the interactions among a set...
AVBPA
2001
Springer
15 years 4 months ago
2001
Springer
Person identification and verification using biometric methods is getting more and more important in today’s information society; resulting in increased utilization of systems th...
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper considers humming-based human verification and identification systems. Humming of a target person is modeled as a Gaussian mixture model, and the matching score betwe...