CORR
2008
Springer
14 years 18 days ago
2008
Springer
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...
CORR
2008
Springer
14 years 18 days ago
2008
Springer
CORR
2008
Springer
14 years 18 days ago
2008
Springer
Contraction hierarchies are a simple hierarchical routing technique that has proved extremely efficient for static road networks. We explain how to generalize them to networks wit...
CORR
2008
Springer
14 years 18 days ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
CORR
2008
Springer
14 years 18 days ago
2008
Springer
CORR
2008
Springer
14 years 18 days ago
2008
Springer
We study the best known general inner bound[1] and outer bound[2] for the capacity region of the two user discrete memory less channel. We prove that a seemingly stronger outer bou...
CORR
2008
Springer
14 years 18 days ago
2008
Springer
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...
CORR
2008
Springer
14 years 18 days ago
2008
Springer
CORR
2008
Springer
14 years 18 days ago
2008
Springer
We study a dissimilarity measure between shapes, expressed by the natural pseudodistance between size pairs, where a shape is viewed as a topological space endowed with a real-val...
CORR
2008
Springer
14 years 18 days ago
2008
Springer
In this paper, we consider a cognitive radio (CR) network in which the unlicensed (secondary) users are allowed to concurrently access the spectrum allocated to the licensed (prim...