Sciweavers

5879 search results - page 76 / 1176
» Separation - Past, Present, and Future
Sort
View
ICIP
2007
IEEE
16 years 8 months ago
Blind Audiovisual Source Separation using Sparse Representations
In this work we present a method to jointly separate active audio and visual structures on a given mixture. Blind Audiovisual Source Separation is achieved exploiting the coherenc...
Anna Llagostera Casanovas, Gianluca Monaci, Pierre...
TPHOL
2009
IEEE
16 years 29 days ago
Practical Tactics for Separation Logic
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
Andrew McCreight
CMMR
2004
Springer
98views Music» more  CMMR 2004»
15 years 11 months ago
Separating Voices in Polyphonic Music: A Contig Mapping Approach
Abstract. Voice separation is a critical component of music information retrieval, music analysis and automated transcription systems. We present a contig mapping approach to voice...
Elaine Chew, Xiaodan Wu
ACSAC
2007
IEEE
15 years 10 months ago
Toward a Medium-Robustness Separation Kernel Protection Profile
A protection profile for high-robustness separation kernels has recently been validated and several implementations are under development. However, medium-robustness separation ke...
Rance J. DeLong, Thuy D. Nguyen, Cynthia E. Irvine...
TASLP
2011
15 years 1 months ago
Underdetermined Convolutive Blind Source Separation via Frequency Bin-Wise Clustering and Permutation Alignment
—This paper presents a blind source separation method for convolutive mixtures of speech/audio sources. The method can even be applied to an underdetermined case where there are ...
Hiroshi Sawada, Shoko Araki, Shoji Makino