488 search results - page 32 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
CCS
2009
ACM
15 years 3 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
We propose a new approach for automatic melody extraction from polyphonic audio, based on Probabilistic Latent Component Analysis (PLCA). An audio signal is first divided into vo...
104
click to vote
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
Recently, Multiple Background Models (M-BMs) [1, 2] have been shown to be useful in speaker verification, where the M-BMs are formed based on different Vocal Tract Lengths (VTLs)...
ICIP
2001
IEEE
16 years 20 days ago
2001
IEEE
In this paper we address the problem of registering 3D scattered data by the mean of a statistical shape model. This model is built from a training set on which a principal compon...
109
Voted
KDD
2012
ACM
13 years 1 months ago
2012
ACM
In recent years, both hashing-based similarity search and multimodal similarity search have aroused much research interest in the data mining and other communities. While hashing-...