Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances.

David Romero-Hernández David de Frutos-Escrig

Published in: FORTE (2014)

Keyphrases

distance measure
euclidean distance
information systems
learning environment
distance function
neural network
artificial intelligence
similarity measure
process model
heuristic search
hausdorff distance