Types for the Ambient Calculus.

Luca Cardelli Giorgio Ghelli Andrew D. Gordon

Published in: Inf. Comput. (2002)

Keyphrases

ambient intelligence
neural network
machine learning
real world
website
search algorithm
relational databases
hidden markov models