10051 search results - page 55 / 2011 » A Dynamic Separator Algorithm |
128
Voted
FORTE
2010
15 years 3 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...
125
Voted
CVPR
2003
IEEE
16 years 4 months ago
2003
IEEE
This paper deals with simultaneous depth map estimation and background separation in a multi-view setting with several fixed calibrated cameras, two problems which have previously...
134
Voted
ISCAS
2005
IEEE
15 years 7 months ago
2005
IEEE
— In the context of Independent Component Analysis (ICA), we propose a simple method for online estimation of activation functions in order to blindly separate instantaneous mixt...
131
Voted
IPCO
2007
15 years 3 months ago
2007
During the last decades, much research has been conducted deriving classes of valid inequalities for single-row mixed integer programming polyhedrons. However, no such class has ha...
138
click to vote
ICA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In recent years, there has been a great deal of work in modeling audio using non-negative matrix factorization and its probabilistic counterparts as they yield rich model...