10051 search results - page 90 / 2011 » A Dynamic Separator Algorithm |
138
click to vote
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
We propose a system for the automatic segmentation of novelties from the background in scenarios where multiple images of the same environment are available e.g. obtained by weara...
102
Voted
ENTCS
2008
15 years 21 days ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
204
Voted
POPL
2008
ACM
16 years 28 days ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
113
Voted
ICA
2004
Springer
15 years 6 months ago
2004
Springer
The acoustic environment poses at least two important challenges. First, animals must localise sound sources using a variety of binaural and monaural cues; and second they must sep...
95
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
Finding sparse approximate solutions to large underdetermined linear systems of equations is a common problem in signal/image processing and statistics. Basis pursuit, the least a...