Domain theoretic characterisations of quasi-metric completeness in terms of formal balls.

Salvador Romaguera Óscar Valero

Published in: Math. Struct. Comput. Sci. (2010)

Keyphrases

formal model
search engine
knowledge base
database systems
distance measure
knowledge acquisition
euclidean distance
data quality
quality measures
cross domain