444 search results - page 19 / 89 » Erdos-Rado without choice |
NDSS
2009
IEEE
14 years 2 months ago
2009
IEEE
We describe CSAR, a novel technique for generating cryptographically strong, accountable randomness. Using CSAR, we can generate a pseudo-random sequence and a proof that the elem...
ISMIS
2009
Springer
14 years 2 months ago
2009
Springer
This paper proposes and evaluates several alternate design choices for common prediction metrics employed by neighborhood-based collaborative filtering approach. It first explores ...
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract—Computing maximum-likelihood bounds on the performance of systems involving partial response (PR) channels, with or without an error correcting code present, is rather c...
VTC
2007
IEEE
14 years 1 months ago
2007
IEEE
— The Gilbert-Elliott channel is used to evaluate the performance of Raptor codes for file download in the standard Digital Video Broadcasting for Handhelds (DVB-H). This allows...