Sign in
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