Programmverification at Stanford: Past, Present Future.

Published in: GWAI (1981)

Keyphrases

long term
historical information
neural network
machine learning
computer vision
social networks
image processing
bayesian networks
cooperative
pattern recognition
evolutionary algorithm
special case