The Synthesis of Loop Predicates.

Published in: Commun. ACM (1974)

Keyphrases

user defined
program synthesis
neural network
data mining
real world
computer vision
image processing
expert systems
artificial neural networks
data model
query language