Sciweavers

340 search results - page 29 / 68
» Efficient algorithms for bichromatic separability
Sort
View
125
Voted
POPL
2010
ACM
16 years 26 days ago
Structuring the verification of heap-manipulating programs
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
Aleksandar Nanevski, Josh Berdine, Viktor Vafeiadi...
156
Voted
CORR
2010
Springer
209views Education» more  CORR 2010»
15 years 5 days ago
Generalized Tree-Based Wavelet Transform
In this paper we propose a new wavelet transform applicable to functions defined on graphs, high dimensional data and networks. The proposed method generalizes the Haar-like transf...
Idan Ram, Michael Elad, Israel Cohen
142
Voted
PRL
2006
225views more  PRL 2006»
15 years 3 months ago
A straight line detection using principal component analysis
A straight line detection algorithm is presented. The algorithm separates row and column edges from edge image using their primitive shapes. The edges are labeled, and the princip...
Yun-Seok Lee, Han-Suh Koo, Chang-Sung Jeong
156
Voted
ACL
2008
15 years 4 months ago
Pairwise Document Similarity in Large Collections with MapReduce
This paper presents a MapReduce algorithm for computing pairwise document similarity in large document collections. MapReduce is an attractive framework because it allows us to de...
Tamer Elsayed, Jimmy J. Lin, Douglas W. Oard
99
Voted
ICASSP
2010
IEEE
15 years 1 months ago
Energy-based multi-speaker voice activity detection with an ad hoc microphone array
In this paper, we propose an energy-based technique to track the power of multiple simultaneous speakers using an ad hoc microphone array with unknown microphone positions. By con...
Alexander Bertrand, Marc Moonen