Hybrid logical analyses of the ambient calculus.

Thomas Bolander René Rydhof Hansen

Published in: Inf. Comput. (2010)

Keyphrases

ambient intelligence
evolutionary algorithm
bayesian networks
statistical analysis
provably correct
hybrid approaches
logical representation