Sciweavers

CORR
2008
Springer
128views Education» more  CORR 2008»
14 years 19 days ago
Opportunistic Collaborative Beamforming with One-Bit Feedback
An energy-efficient opportunistic collaborative beamformer with one-bit feedback is proposed for ad hoc sensor networks over Rayleigh fading channels. In contrast to conventional c...
Man-On Pun, D. Richard Brown III, H. Vincent Poor
CORR
2008
Springer
53views Education» more  CORR 2008»
14 years 19 days ago
An ESPRIT-based approach for Initial Ranging in OFDMA systems
Abstract--In this letter, an initial ranging scheme for orthogonal frequency-division multiple-access systems is proposed by which users that intend to establish a communication li...
Luca Sanguinetti, Michele Morelli, H. Vincent Poor
CORR
2008
Springer
86views Education» more  CORR 2008»
14 years 19 days ago
Polygon Exploration with Discrete Vision
With the advent of autonomous robots with two- and three-dimensional scanning capabilities, classical visibility-based exploration methods from computational geometry have gained ...
Sándor P. Fekete, Christiane Schmidt
CORR
2008
Springer
108views Education» more  CORR 2008»
14 years 19 days ago
Rate and power allocation under the pairwise distributed source coding constraint
We explore the problem of rate and power allocation for a sensor network where pairwise distributed source coding is employed (introduced by Roumy and Gesbert `07). For noiseless n...
Shizheng Li, Aditya Ramamoorthy
CORR
2008
Springer
85views Education» more  CORR 2008»
14 years 19 days ago
Online Scheduling to Minimize the Maximum Delay Factor
In this paper two scheduling models are addressed. First is the standard model (unicast) where requests (or jobs) are independent. The other is the broadcast model where broadcast...
Chandra Chekuri, Benjamin Moseley
CORR
2008
Springer
93views Education» more  CORR 2008»
14 years 19 days ago
Resource Allocation Strategies for In-Network Stream Processing
Anne Benoit, Henri Casanova, Veronika Rehn-Sonigo,...
CORR
2008
Springer
154views Education» more  CORR 2008»
14 years 19 days ago
Coinductive Formal Reasoning in Exact Real Arithmetic
In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations -- of which field operations...
Milad Niqui
CORR
2008
Springer
75views Education» more  CORR 2008»
14 years 19 days ago
Inductive and Coinductive Components of Corecursive Functions in Coq
In Constructive Type Theory, recursive and corecursive definitions are subject to syntactic restrictions which guarantee termination for recursive functions and productivity for c...
Yves Bertot, Ekaterina Komendantskaya
CORR
2008
Springer
108views Education» more  CORR 2008»
14 years 19 days ago
Restricted Mobility Improves Delay-Throughput Trade-offs in Mobile Ad-Hoc Networks
Abstract-- In this paper, we analyze asymptotic delaythroughput trade-offs in mobile ad-hoc networks comprising heterogeneous nodes with restricted mobility. We show that node spat...
Michele Garetto, Emilio Leonardi