Termination checking with types.

Published in: RAIRO Theor. Informatics Appl. (2004)

Keyphrases

neural network
real world
data mining
artificial intelligence
computer vision
decision making
decision trees
learning environment
artificial neural networks
probability distribution