4341 search results - page 449 / 869 » Quantitative Model checking |
165
click to vote
ICASSP
2011
IEEE
14 years 10 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...
207
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
Illumination changes cause object appearance to change drastically and many existing tracking algorithms lack the capability to handle this problem. The Earth Mover's Distanc...
188
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Web logs, or blogs, challenge the notion of authorship. Seemingly, rather than a model in which the author's writings are themselves a contribution, the blog author weaves a ...
180
click to vote
RECOMB
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. The recent availability of large scale data sets profiling single nucleotide polymorphisms (SNPs) and gene expression across different human populations, has directed muc...
153
click to vote
SRDS
2007
IEEE
16 years 1 months ago
2007
IEEE
The reliability of a large-scale storage system is influenced by a complex set of inter-dependent factors. This paper presents a comprehensive and extensible analytical framework ...