Sciweavers

1959 search results - page 44 / 392
» Concerned About Separation
Sort
View
ICA
2010
Springer
15 years 8 hour ago
A General Modular Framework for Audio Source Separation
Most of audio source separation methods are developed for a particular scenario characterized by the number of sources and channels and the characteristics of the sources and the m...
Alexey Ozerov, Emmanuel Vincent, Fréd&eacut...
ICASSP
2007
IEEE
15 years 6 months ago
Blind Speech Separation in a Meeting Situation with Maximum SNR Beamformers
We propose a speech separation method for a meeting situation, where each speaker sometimes speaks and the number of speakers changes every moment. Many source separation methods ...
Shoko Araki, Hiroshi Sawada, Shoji Makino
POPL
2007
ACM
16 years 4 days ago
Types, bytes, and separation logic
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
Harvey Tuch, Gerwin Klein, Michael Norrish
POPL
2008
ACM
16 years 4 days ago
Enhancing modular OO verification with separation logic
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...
IMAGING
2000
15 years 1 months ago
Conversion Between CMYK Spaces Preserving Black Separation
This paper describes a method for developing a transform between two device CMYK spaces in a way that preserves information about the black separation. An important application of...
Tomasz J. Cholewo