Automata-Theoretic Techniques for Image Generation and Compression.

Karel Culík II Simant Dube

Published in: FSTTCS (1990)

Keyphrases

image generation
automata theoretic
temporal logic
high resolution
regular path queries
digital imaging
high quality
query containment
multimedia
computational complexity
digital images