A Formal System for Differentiation.

Published in: J. ACM (1966)

Keyphrases

search engine
information systems
formal methods
multiresolution
database systems
formal language
mathematical theory
formal analysis
formal specification
probabilistic model
feature extraction
neural network
image segmentation
decision trees
learning algorithm
machine learning
real world