A Tutorial on Type-Based Termination.

Gilles Barthe Benjamin Grégoire Colin Riba

Published in: LerNet ALFA Summer School (2008)

Keyphrases

type checking
artificial intelligence
data sets
neural network
face recognition
real world
genetic algorithm
feature selection
bayesian networks
multi agent
learning environment
multi agent systems