10051 search results - page 63 / 2011 » A Dynamic Separator Algorithm |
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...
111
Voted
ESANN
2003
15 years 1 months ago
2003
In this paper, we present an algorithm that minimizes the mutual information between the outputs of a perceptron with two hidden layers. The neural network is then used as separati...
101
click to vote
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
In this paper, we propose an adaptive time-frequency resolution approach for the single channel source separation problem. The aim is to improve the quality and intelligibility of...
97
Voted
MICCAI
2004
Springer
16 years 1 months ago
2004
Springer
In this paper we develop a spatio-temporal registration algorithm for cardiac MR image sequences. The algorithm has the ability to correct any spatial misalignment between the imag...
87
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, we investigate the problem of designing a switching compensator for a plant switching amongst a (finite) family of given configurations (Ai,Bi,Ci). We assume that...