305 search results - page 23 / 61 » From Sets to Bits in Coq |
100
click to vote
STOC
2001
ACM
16 years 24 days 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...
123
Voted
ASIAN
2004
Springer
15 years 4 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...
95
Voted
DCC
2006
IEEE
16 years 3 days 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...
117
Voted
JACM
2006
15 years 14 days 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...
120
click to vote
CVPR
2008
IEEE
16 years 2 months 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...