10051 search results - page 55 / 2011 » A Dynamic Separator Algorithm |
119
Voted
FORTE
2010
15 years 2 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&#...
106
Voted
CVPR
2003
IEEE
16 years 2 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...
119
Voted
ISCAS
2005
IEEE
15 years 6 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...
112
click to vote
IPCO
2007
15 years 2 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...
121
click to vote
ICA
2010
Springer
15 years 1 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...