10051 search results - page 37 / 2011 » A Dynamic Separator Algorithm |
206
click to vote
POPL
2004
ACM
16 years 24 days ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
ICA
2004
Springer
15 years 5 months ago
2004
Springer
Presented here is a generalization of the modified relative Newton method, recently proposed in [1] for quasi-maximum likelihood blind source separation. Special structure of the ...
104
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we propose a novel algorithm for the separation of convolutive speech mixtures using two-microphone recordings, based on the combination of independent component an...
100
click to vote
TASLP
2008
15 years 12 days ago
2008
Source separation of musical signals is an appealing but difficult problem, especially in the single-channel case. In this paper, an unsupervised single-channel music source separa...
103
click to vote
CONCUR
2004
Springer
15 years 5 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...