1682 search results - page 169 / 337 » Applying Conventional Testing Techniques for Class Testing |
142
click to vote
ESORICS
2010
Springer
15 years 5 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...
107
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose a new framework for speaker recognition, referred as Fishervoice. It includes the design of a feature representation known as the structured score vector (SSV), which r...
133
click to vote
SPEECH
1998
15 years 3 months ago
1998
We present the theory for heteroscedastic discriminant analysis (HDA), a model-based generalization of linear discriminant analysis (LDA) derived in the maximum-likelihood framewo...
167
click to vote
EC
2010
15 years 1 months ago
2010
Estimation of distribution algorithms (EDAs) that use marginal product model factorizations have been widely applied to a broad range of, mainly binary, optimization problems. In ...
114
click to vote
ISMIR
2005
Springer
15 years 9 months ago
2005
Springer
A system that segments and labels tabla strokes from real performances is described. Performance is evaluated on a large database taken from three performers under different recor...