Algebraic Methods for Specification and Formal Development of Programs.

Donald Sannella Andrzej Tarlecki

Published in: ACM Comput. Surv. (1999)

Keyphrases

significant improvement
benchmark datasets
preprocessing
machine learning methods
methods require
database
neural network
machine learning
information retrieval
computer vision
decision trees
image sequences
empirical studies