Enhancing Declarative Debugging with Loop Expansion and Tree Compression.
David InsaJosep SilvaCésar TomásPublished in: LOPSTR (2012)
Keyphrases
- tree structure
- wavelet tree
- image compression
- compression algorithm
- data compression
- model based diagnosis
- compression scheme
- tree structures
- tree construction
- index structure
- hierarchical structure
- tree search
- compression ratio
- feedback loop
- binary tree
- neural network
- domain independent
- knowledge representation
- multiresolution
- high level