Sciweavers

1510 search results - page 25 / 302
» Upper Probabilities and Additivity
Sort
View
ICASSP
2008
IEEE
14 years 5 months ago
Double-differential coding for orthogonal space-time block codes
Abstract— Communications over multiple-input multipleoutput (MIMO) channels with carrier offsets is an important practical and theoretical problem. Double-differential coding is ...
Manav R. Bhatnagar, Are Hjørungnes, Lingyan...
CRYPTO
2006
Springer
92views Cryptology» more  CRYPTO 2006»
14 years 2 months ago
Rigorous Bounds on Cryptanalytic Time/Memory Tradeoffs
In this paper we formalize a general model of cryptanalytic time/memory tradeoffs for the inversion of a random function f : {0, 1, . . . , N - 1} {0, 1, . . . , N - 1}. The model...
Elad Barkan, Eli Biham, Adi Shamir
NIPS
2007
14 years 10 days ago
Compressed Regression
Recent research has studied the role of sparsity in high dimensional regression and signal reconstruction, establishing theoretical limits for recovering sparse models from sparse...
Shuheng Zhou, John D. Lafferty, Larry A. Wasserman
CORR
2006
Springer
101views Education» more  CORR 2006»
13 years 11 months ago
MDL Convergence Speed for Bernoulli Sequences
The Minimum Description Length principle for online sequence estimation/prediction in a proper learning setup is studied. If the underlying model class is discrete, then the total...
Jan Poland, Marcus Hutter
TACAS
2010
Springer
212views Algorithms» more  TACAS 2010»
13 years 8 months ago
Assume-Guarantee Verification for Probabilistic Systems
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
Marta Z. Kwiatkowska, Gethin Norman, David Parker,...