A Probabilistic Applied Pi-Calculus.

Jean Goubault-Larrecq Catuscia Palamidessi Angelo Troina

Published in: APLAS (2007)

Keyphrases

probabilistic model
artificial intelligence
data streams
probabilistic logic
database
neural network
information retrieval
artificial neural networks