305 search results - page 38 / 61 » From Sets to Bits in Coq |
116
Voted
RT
2004
Springer
15 years 5 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...
136
click to vote
SIGCOMM
2010
ACM
15 years 20 days 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...
117
click to vote
PKC
2010
Springer
15 years 4 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...
95
Voted
SODA
2008
ACM
15 years 1 months 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...
115
Voted
SIGOPS
2008
15 years 11 days 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...