Metric spaces in type theory via formal topology.
Giovanni CuriPublished in: Electron. Notes Theor. Comput. Sci. (2000)
Keyphrases
- metric space
- similarity search
- similarity queries
- distance function
- range queries
- probability measures
- high dimensional
- similarity searching
- searching in metric spaces
- multidimensional index
- point sets
- partially ordered sets
- nearest neighbor queries
- machine learning
- dimensional vector
- access methods
- nearest neighbor
- databases