A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces.
Iosif PetrakisPublished in: CiE (2016)
Keyphrases
- metric space
- interactive theorem proving
- similarity search
- distance function
- similarity queries
- searching in metric spaces
- partially ordered sets
- high dimensional
- probability measures
- access methods
- similarity searching
- multidimensional index
- nearest neighbor queries
- vector space
- range queries
- similarity join
- data mining
- point sets
- von neumann
- database systems
- nearest neighbor
- data structure
- indexing techniques
- training data
- management system