Metric Boolean algebras and constructive measure theory.

Thierry Coquand Erik Palmgren

Published in: Arch. Math. Log. (2002)

Keyphrases

distance measure
information theory
theoretical framework
formal theory
confidence measure
information content
similarity measure
data sets
case study
image quality
feature selection
artificial intelligence
information retrieval
evaluation metrics
quality measures
dissimilarity measure
data mining
general theory