Examples of Formal Proofs about Data Compression.

Reynald Affeldt Jacques Garrigue Takafumi Saikawa

Published in: ISITA (2018)

Keyphrases

data compression
formal proofs
compression algorithm
data reduction
compression scheme
compression ratio
wavelet compression
lossless data compression
image compression
compressed data
mixed data
image coding
image processing
bitstream
arithmetic coding
lempel ziv
decision trees
data sets