Bisimulation Proof Methods for Mobile Ambients.

Massimo Merro Francesco Zappa Nardelli

Published in: ICALP (2003)

Keyphrases

benchmark datasets
preprocessing
real time
mobile phone
databases
feature selection
high dimensional
computational cost
empirical studies
statistical methods
machine learning
case study
database systems
machine learning algorithms