Up-To Techniques for Generalized Bisimulation Metrics.

Konstantinos Chatzikokolakis Catuscia Palamidessi Valeria Vignudelli

Published in: CONCUR (2016)

Keyphrases

evaluation metrics
machine learning
digital libraries
real time
neural network
genetic algorithm
knowledge base
image processing
high level
multi agent
wireless sensor networks
rough sets
similarity metrics