Applications of Metric Coinduction

Dexter Kozen Nicholas Ruozzi

Published in: Log. Methods Comput. Sci. (2009)

Keyphrases

distance metric
metric space
information content
viewpoint
distance measure
evaluation metrics
similarity metric
real time
data sets
neural network
information systems
hausdorff distance