Quantifying Similarities Between Timed Systems.

Thomas A. Henzinger Rupak Majumdar Vinayak S. Prabhu

Published in: FORMATS (2005)

Keyphrases

real time
expert systems
learning systems
management system
distributed systems
complex systems
retrieval systems
machine learning
learning algorithm
similarity measure
multi agent
video sequences
medical images
knowledge based systems
building blocks