Sciweavers

1362 search results - page 121 / 273
» Means, Correlations and Bounds
Sort
View
ICASSP
2009
IEEE
14 years 11 months ago
Outage-based designs for multi-user transceivers
We consider a broadcast channel with multiple antennas at the base station and single-antenna receivers, and we study transceiver design with Quality of Service (QoS) requirements...
Michael Botros Shenouda, Timothy N. Davidson
ICPR
2004
IEEE
16 years 2 months ago
Motion Analysis Using Frame Differences with Spatial Gradient Measures
The paper considers making inferences about the underlying true 2-D motion when only evaluations of a local block-based cost function, the mean of absolute or squared differences,...
Pekka Sangi, Janne Heikkilä, Olli Silvé...
STOC
2001
ACM
119views Algorithms» more  STOC 2001»
16 years 1 months ago
Complex tilings
Two infinite families of self-similar tilings are described which have apparently not been reported before. Each tiling is based on a single prototile that is a segment of a regul...
Bruno Durand, Leonid A. Levin, Alexander Shen
ICASSP
2009
IEEE
15 years 8 months ago
Compressive spectral estimation for nonstationary random processes
We propose a “compressive” estimator of the Wigner-Ville spectrum (WVS) for time-frequency sparse, underspread, nonstationary random processes. A novel WVS estimator involving...
Alexander Jung, Georg Tauböck, Franz Hlawatsc...
FSTTCS
2004
Springer
15 years 7 months ago
A Decidable Fragment of Separation Logic
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn