A proof of the separability of prefiltering and coding (Corresp.).

Daniel P. Petersen

Published in: IEEE Trans. Inf. Theory (1975)

Keyphrases

coding scheme
image coding
theorem proving
coding efficiency
coding method
theorem prover
dimensionality reduction
shape coding
rate distortion
error correcting
error control