Sciweavers

CORR
2010
Springer
79views Education» more  CORR 2010»
13 years 7 months 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...
CORR
2010
Springer
90views Education» more  CORR 2010»
13 years 7 months ago
New Criteria for Iterative Decoding
Iterative decoding was not originally introduced as the solution to an optimization problem rendering the analysis of its convergence very difficult. In this paper, we investigate...
Florence Alberge, Ziad Naja, Pierre Duhamel
CORR
2010
Springer
42views Education» more  CORR 2010»
13 years 7 months ago
Reduced ML-Decoding Complexity, Full-Rate STBCs for 4 Transmit Antenna Systems
For an nt transmit, nr receive antenna system (nt
K. Pavan Srinath, B. Sundar Rajan
CORR
2010
Springer
76views Education» more  CORR 2010»
13 years 7 months ago
Fusion Discrete Logarithm Problems
Martin Schaffer, Stefan Rass
CORR
2010
Springer
89views Education» more  CORR 2010»
13 years 7 months ago
The capacity region of a class of broadcast channels with a sequence of less noisy receivers
The capacity region of a broadcast channel consisting of k-receivers that lie in a less noisy sequence is an open problem, when k 3. We prove that superposition coding is indeed ...
Chandra Nair, Zizhou Vincent Wang
CORR
2010
Springer
47views Education» more  CORR 2010»
13 years 7 months ago
On the Pseudocodeword Redundancy
Jens Zumbragel, Mark F. Flanagan, Vitaly Skachek
CORR
2010
Springer
59views Education» more  CORR 2010»
13 years 7 months ago
Combinatorial Auctions with Budgets
Amos Fiat, Stefano Leonardi, Jared Saia, Piotr San...
CORR
2010
Springer
144views Education» more  CORR 2010»
13 years 7 months ago
Assessing Cognitive Load on Web Search Tasks
: Assessing cognitive load on web search is useful for characterizing search system features and search tasks with respect to their demands on the searcher's mental effort. It...
Jacek Gwizdka
CORR
2010
Springer
102views Education» more  CORR 2010»
13 years 7 months ago
States and exceptions are dual effects
Global states and exceptions form two basic computational effects. In this paper it is proved that they can be seen as dual to each other: the lookup and update operations for glo...
Jean-Guillaume Dumas, Dominique Duval, Laurent Fou...