Sciweavers

575 search results - page 74 / 115
» A Spectral Approach to Lower Bounds
Sort
View
93
Voted
CORR
2007
Springer
148views Education» more  CORR 2007»
15 years 19 days ago
Blind Estimation of Multiple Carrier Frequency Offsets
Multiple carrier-frequency offsets (CFO) arise in a distributed antenna system, where data are transmitted simultaneously from multiple antennas. In such systems the received sign...
Yuanning Yu, Athina P. Petropulu, H. Vincent Poor,...
141
Voted
CORR
2007
Springer
128views Education» more  CORR 2007»
15 years 19 days ago
Verified Real Number Calculations: A Library for Interval Arithmetic
—Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs. In this paper, we show how these calculations can be performed within a...
Marc Daumas, David Lester, César Muñ...
84
Voted
FOCM
2010
108views more  FOCM 2010»
14 years 11 months ago
Parallelization Method for a Continuous Property
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
Pawel Pilarczyk
94
Voted
SIGPRO
2010
99views more  SIGPRO 2010»
14 years 11 months ago
Oversampled phase tracking in digital communications with large excess bandwidth
This paper deals with the on-line carrier phase estimation in a digital receiver. We consider a Brownian phase evolution in a Data Aided scenario. The proposed study uses an overs...
Jordi Vilà-Valls, Jean-Marc Brossier, Laure...
CORR
2011
Springer
243views Education» more  CORR 2011»
14 years 7 months ago
Localization from Incomplete Noisy Distance Measurements
—We consider the problem of positioning a cloud of points in the Euclidean space Rd , from noisy measurements of a subset of pairwise distances. This task has applications in var...
Adel Javanmard, Andrea Montanari