Sciweavers

1222 search results - page 160 / 245
» corr 2008
Sort
View
CORR
2008
Springer
129views Education» more  CORR 2008»
15 years 7 months ago
On the Stretch Factor of Convex Delaunay Graphs
Let C be a compact and convex set in the plane that contains the origin in its interior, and let S be a finite set of points in the plane. The Delaunay graph DGC (S) of S is define...
Prosenjit Bose, Paz Carmi, Sébastien Collet...
CORR
2008
Springer
82views Education» more  CORR 2008»
15 years 7 months ago
Adaptive Dynamics of Realistic Small-World Networks
Continuing in the steps of Jon Kleinberg's and others celebrated work on decentralized search, we conduct an experimental analysis of destination sampling, a dynamic algorithm...
Olof Mogren, Oskar Sandberg, Vilhelm Verendel, Dev...
CORR
2008
Springer
122views Education» more  CORR 2008»
15 years 7 months ago
From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures
Abstract We investigate here a new version of the Calculus of Inductive Constructions (CIC) on which the proof assistant Coq is based: the Calculus of Congruent Inductive Construct...
Frédéric Blanqui, Jean-Pierre Jouann...
CORR
2008
Springer
63views Education» more  CORR 2008»
15 years 7 months ago
On the Asymptotic Behavior of Selfish Transmitters Sharing a Common Channel
In a multiple-access communication network, nodes must compete for scarce communication resources such as bandwidth. This paper analyzes the asymptotic behavior of a multipleaccess...
Hazer Inaltekin, Mung Chiang, Harold Vincent Poor,...
CORR
2008
Springer
113views Education» more  CORR 2008»
15 years 7 months ago
Rateless Coding for MIMO Block Fading Channels
In this paper the performance limits and design principles of rateless codes over fading channels are studied. The diversity-multiplexing tradeoff (DMT) is used to analyze the syst...
Yijia Fan, Lifeng Lai, Elza Erkip, H. Vincent Poor