Login / Signup
Weighted Branching Systems: Behavioural Equivalence, Behavioural Distance, and Their Logical Characterisations.
Mathias Claus Jensen
Kim Guldstrand Larsen
Radu Mardare
Published in:
FORMATS (2018)
Keyphrases
</>
expert systems
hidden markov models
computer vision
management system
distance measure
artificial intelligence
search engine
social networks
software engineering
distributed systems
branch and bound
weighted distance