Login / Signup
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps
Uli Fahrenberg
Axel Legay
Published in:
CoRR (2012)
Keyphrases
</>
higher dimensional
euclidean space
low dimensional
finite dimensional
arbitrary dimension
high dimensional
lower dimensional
distance transform
object recognition
image compression
data analysis
continuous relaxation