Derivation of efficient implementations from formal descriptions - issues, methods and conformance.

Published in: FORTE (1994)

Keyphrases

computational cost
empirical studies
machine learning methods
qualitative and quantitative
decision trees
preprocessing
image features
data mining techniques
computational model