Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata.

Mikolaj Bojanczyk Bartek Klin Joshua Moerman

Published in: LICS (2021)

Keyphrases

finite dimensional
vector space
infinite dimensional
euclidean space
distance measure
low dimensional
similarity search
feature vectors
machine learning
metric space
higher dimensional
convex sets
shape space
lie group
image processing