Resolution on Formula-Trees.

Published in: Acta Informatica (1988)

Keyphrases

decision trees
high resolution
consequence finding
image processing
low resolution
tree structure
database
tree construction
databases
machine learning
learning algorithm
lower bound
multiresolution
temporal resolution
unordered trees