Keyphrases
- metric space
- similarity search
- distance function
- high dimensional
- range queries
- searching in metric spaces
- formal methods
- probability measures
- similarity queries
- similarity searching
- point sets
- access methods
- nearest neighbor queries
- theorem prover
- range query processing
- partially ordered sets
- multidimensional index
- indexing techniques
- vector space
- data sets
- low dimensional
- dimensional vector
- multi dimensional
- management system
- query processing
- decision trees