Mobility Types in Coq.

Furio Honsell Ivan Scagnetto

Published in: TYPES (2003)

Keyphrases

real time
real world
learning algorithm
multi agent
data sets
neural network
image processing
decision trees
similarity measure
mobile agents