5302 search results - page 53 / 1061 » Learning How to Separate |
101
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
104
click to vote
TASLP
2011
14 years 6 months ago
2011
—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 ...
116
click to vote
ECOOP
2010
Springer
15 years 3 months ago
2010
Springer
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
ICMCS
2000
IEEE
15 years 4 months ago
2000
IEEE
Recent work into the separation of mixtures of speech signals has shown some success. One particular method is based on the assumption that scalar mixtures of speech signals have ...
MOMPES
2008
IEEE
15 years 6 months ago
2008
IEEE
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...