Sciweavers

340 search results - page 29 / 68
» Efficient algorithms for bichromatic separability
Sort
View
71
Voted
POPL
2010
ACM
15 years 7 months 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...
CORR
2010
Springer
209views Education» more  CORR 2010»
14 years 6 months 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
PRL
2006
225views more  PRL 2006»
14 years 9 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
ACL
2008
14 years 11 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
ICASSP
2010
IEEE
14 years 7 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