Sciweavers

995 search results - page 72 / 199
» complexity 2011
Sort
View
111
Voted
CORR
2011
Springer
180views Education» more  CORR 2011»
14 years 9 months ago
A Formalization of Polytime Functions
Abstract. We present a deep embedding of Bellantoni and Cook’s syntactic characterization of polytime functions. We prove formally that it is correct and complete with respect to...
Sylvain Heraud, David Nowak
109
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Log-gaussian cox processes of visual keypoints for sonar texture recognition
In this paper, invariant sonar texture characterization for seabed classification is addressed from the spatial distribution of image keypoints using log-Gaussian Cox processes. ...
Huu-Giao Nguyen, Ronan Fablet, Jean-Marc Boucher
126
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Full-covariance UBM and heavy-tailed PLDA in i-vector speaker verification
In this paper, we describe recent progress in i-vector based speaker verification. The use of universal background models (UBM) with full-covariance matrices is suggested and tho...
Pavel Matejka, Ondrej Glembek, Fabio Castaldo, M. ...
146
Voted
ICASSP
2011
IEEE
14 years 7 months ago
A simple music/voice separation method based on the extraction of the repeating musical structure
Repetition is a core principle in music. This is especially true for popular songs, generally marked by a noticeable repeating musical structure, over which the singer performs va...
Zafar Rafii, Bryan Pardo
89
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Efficient coherent phase quantization for audio watermarking
The weighted overlap add (WOLA) technique is routinely used in audio processing to avoid introducing audible clicks. This process introduces inter-dependencies between WOLA coeffi...
Xiao-Ming Chen, Gwenaël J. Doërr, Michae...