History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps.

Uli Fahrenberg Axel Legay

Published in: MFPS (2013)

Keyphrases

higher dimensional
arbitrary dimension
euclidean space
high dimensional
distance transform
continuous relaxation
low dimensional
lower dimensional
finite dimensional
data sets
finite state
wavelet packet
machine learning
image segmentation