Sciweavers

42230 search results - page 422 / 8446
» Algorithms and Complexity Results for
Sort
View
JPDC
2008
135views more  JPDC 2008»
15 years 6 months ago
Parallel block tridiagonalization of real symmetric matrices
Two parallel block tridiagonalization algorithms and implementations for dense real symmetric matrices are presented. Block tridiagonalization is a critical pre-processing step for...
Yihua Bai, Robert C. Ward
FMSD
2002
114views more  FMSD 2002»
15 years 6 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa
ICASSP
2011
IEEE
14 years 10 months ago
Simplified EM channel estimation in LTE systems
In this paper, an iterative channel estimation algorithm is considered in LTE systems. A simplified expectation maximization (EM) based algorithm is proposed for channel estimati...
Yang Liu, Serdar Sezginer
ICASSP
2011
IEEE
14 years 10 months ago
Cooperative mobile network localization via subspace tracking
Two novel cooperative localization algorithms for mobile wireless networks are proposed. To continuously localize the mobile network, given the pairwise distance measurements betw...
Hadi Jamali Rad, Alon Amar, Geert Leus
ICASSP
2011
IEEE
14 years 10 months ago
Joint disparity and optical flow by correspondence growing
The scene flow in binocular stereo setup is estimated using a seed growing algorithm. A pair of calibrated and synchronized cameras observe a scene and output a sequence of image...
Jan Cech, Radu Horaud