A Behavioral Module System for the Pi-Calculus.

Sriram K. Rajamani Jakob Rehof

Published in: SAS (2001)

Keyphrases

neural network
database
data sets
artificial intelligence
bayesian networks
reinforcement learning
data model
medical images
logic programs
human behavior
algebraic structure