The IBM JBIG-ABIC Verification Suite.

Peter S. Colyer Joan L. Mitchell

Published in: IBM J. Res. Dev. (1998)

Keyphrases

image compression
image coding
model checking
international standard
lossless compression
formal verification
arithmetic coding
document images
compression standards
san jose
high level overview
verification method
data compression
formal methods
false acceptance rate
magnetic tape
multiscale
high quality