A criterion for separating process calculi

Federico Banti Rosario Pugliese Francesco Tiezzi

Published in: EXPRESS (2010)

Keyphrases

information retrieval
real time
neural network
real world
learning algorithm
social networks
decision trees
probabilistic model
mutual information
spatial information