Covering Radius of the Reed-Muller CodeR(1, 7) - A Simpler Proof.

Published in: J. Comb. Theory, Ser. A (1996)

Keyphrases

bitstream
subband
image coder
image coding
database
neural network
image compression
linear logic
arithmetic coding
theorem prover
data sets
multiscale
case study
theorem proving
bit plane
image processing
real time