Decidability of Plain and Hereditary History-Preserving Bisimilarity for BPP.

Sibylle B. Fröschle

Published in: EXPRESS (1999)

Keyphrases

description logics
query answering
bit rate
compression ratio
compression scheme
high quality
data structure
digital images
reconstructed image