Improving Abstract Interpretations by Systematic Lifting to the Powerset.

Gilberto Filé Francesco Ranzato

Published in: ILPS (1994)

Keyphrases

expressive power
wavelet transform
databases
high level
multiresolution
knowledge base
image processing
multiscale
expert systems
information technology
low level
qualitative and quantitative
lifting scheme