Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas.
Luca CardelliKim G. LarsenRadu MardarePublished in: CSL (2011)
Keyphrases
- complete axiomatization
- metric space
- similarity search
- distance function
- euclidean space
- range queries
- high dimensional
- similarity searching
- access methods
- similarity queries
- inclusion dependencies
- access structure
- searching in metric spaces
- data sets
- multidimensional index
- probability measures
- point sets
- vector space
- similarity search in metric spaces
- similarity measure