Sciweavers

2143 search results - page 331 / 429
» corr 2010
Sort
View
130
Voted
CORR
2010
Springer
107views Education» more  CORR 2010»
14 years 7 months ago
One-Shot Capacity of Discrete Channels
Shannon defined channel capacity as the highest rate at which there exists a sequence of codes of block length n such that the error probability goes to zero as n goes to infinity....
Rui A. Costa, Michael Langberg, João Barros
88
Voted
CORR
2010
Springer
99views Education» more  CORR 2010»
15 years 25 days ago
Pure Type Systems without Explicit Contexts
We present an approach to type theory in which the typing judgments do not have explicit contexts. Instead of judgments of the shape A : B, our systems just have judgments of the ...
Herman Geuvers, Robbert Krebbers, James McKinna, F...
87
Voted
CORR
2010
Springer
80views Education» more  CORR 2010»
15 years 25 days ago
Multi-path Probabilistic Available Bandwidth Estimation through Bayesian Active Learning
Knowing the largest rate at which data can be sent on an end-to-end path such that the egress rate is equal to the ingress rate with high probability can be very practical when ch...
Frederic Thouin, Mark Coates, Michael Rabbat
125
Voted
CORR
2010
Springer
145views Education» more  CORR 2010»
15 years 25 days ago
Distributed Rate Allocation Policies for Multi-Homed Video Streaming over Heterogeneous Access Networks
We consider the problem of rate allocation among multiple simultaneous video streams sharing multiple heterogeneous access networks. We develop and evaluate an analytical framework...
Xiaoqing Zhu, Piyush Agrawal, Jatinder Pal Singh, ...
88
Voted
CORR
2010
Springer
79views Education» more  CORR 2010»
15 years 25 days ago
Quantitative Games on Probabilistic Timed Automata
Abstract. Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the cont...
Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Triv...