305 search results - page 38 / 61 » From Sets to Bits in Coq |
97
Voted
RT
2004
Springer
15 years 4 months ago
2004
Springer
Pixels store a digital image as a grid of point samples that can reconstruct a limited-bandwidth continuous 2-D source image. Although convenient for anti-aliased display, these b...
122
click to vote
SIGCOMM
2010
ACM
14 years 11 months ago
2010
ACM
All practical wireless communication systems are prone to errors. At the symbol level such wireless errors have a well-defined structure: when a receiver decodes a symbol erroneou...
100
click to vote
PKC
2010
Springer
15 years 2 months ago
2010
Springer
In many practical settings, participants are willing to deviate from the protocol only if they remain undetected. Aumann and Lindell introduced a concept of covert adversaries to f...
78
Voted
SODA
2008
ACM
15 years 10 days ago
2008
ACM
The Fast Johnson-Lindenstrauss Transform (FJLT) was recently discovered by Ailon and Chazelle as a novel technique for performing fast dimension reduction with small distortion fr...
93
Voted
SIGOPS
2008
14 years 10 months ago
2008
In Linux, applications like su and login currently run as root in order to access authentication information and set or alter the identity of the process. In such cases, if the ap...