305 search results - page 23 / 61 » From Sets to Bits in Coq |
STOC
2001
ACM
15 years 11 months ago
2001
ACM
We study error-correcting codes for highly noisy channels. For example, every received signal in the channel may originate from some half of the symbols in the alphabet. Our main c...
105
click to vote
ASIAN
2004
Springer
15 years 2 months ago
2004
Springer
This paper presents a line of research in genetic algorithms (GAs), called building-block identification. The building blocks (BBs) are common structures inferred from a set of sol...
DCC
2006
IEEE
15 years 10 months ago
2006
IEEE
In scientific computing environments, large amounts of floating-point data often need to be transferred between computers as well as to and from storage devices. Compression can r...
100
Voted
JACM
2006
14 years 10 months ago
2006
We revisit the problem of conveying classical messages by transmitting quantum states, and derive new, optimal bounds on the number of quantum bits required for this task. Much of...
102
Voted
CVPR
2008
IEEE
16 years 26 days ago
2008
IEEE
The idea of representing images using a bag of visual words is currently popular in object category recognition. Since this representation is typically constructed using unsupervi...