Hierarchical Process Verification in a Semi-trusted Environment.

Published in: OTM Conferences (1) (2012)

Keyphrases

dynamic environments
case study
artificial neural networks
mobile robot
database
data sets
computer vision
feature selection
metadata
mobile devices
model checking
past experience