AIDS to hierarchical specification structuring and reusing theorems in AFFIRM-85.

David R. Musser

Published in: ACM SIGSOFT Softw. Eng. Notes (1985)

Keyphrases

conceptual model
machine learning
expert systems
coarse to fine
formal methods
image processing
high level
database systems
hierarchical model
hierarchical classification
hierarchical representation