10051 search results - page 67 / 2011 » A Dynamic Separator Algorithm |
148
Voted
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
136
Voted
ESANN
2004
15 years 2 months ago
2004
Abstract. In most ICA algorithms, the separation performances are estimated through the evaluation of a contrast function , used in the update rule of elements of the unmixing matr...
103
Voted
IJCGA
2006
15 years 17 days ago
2006
We obtain lower bounds in the algebraic computation tree model for deciding the separability of two disjoint point sets. In particular, we show (n log n) time lower bounds for sep...
88
Voted
ICIP
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper deals with the problem of blind source separation in fMRI data analysis. Our main contribution is to present a maximum likelihood based method to blindly separate the b...
91
Voted
ICMCS
2000
IEEE
15 years 5 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 ...