A Fully Abstract Model for Higher-Order Mobile Ambients.

Mario Coppo Mariangiola Dezani-Ciancaglini

Published in: VMCAI (2002)

Keyphrases

higher order
computational model
statistical model
high level
high order
expert systems
higher level
objective function
mathematical model
experimental data
data sets
mobile devices
hidden markov models
low level
probabilistic model
parameter estimation
database systems
low order