Topological Logics with Connectedness over Euclidean Spaces.
Roman KontchakovYavor NenovIan Pratt-HartmannMichael ZakharyaschevPublished in: ACM Trans. Comput. Log. (2013)
Keyphrases
- euclidean space
- connected components
- riemannian manifolds
- wide class
- shape analysis
- euclidean distance
- higher dimensional
- vector space
- metric space
- data points
- geodesic distance
- modal logic
- low dimensional
- dimensional euclidean space
- pairwise distances
- image analysis
- square root
- finite dimensional
- hilbert space
- learning theory
- data sets