A Kleene Theorem for Higher-Dimensional Automata.
Uli FahrenbergChristian JohansenGeorg StruthKrzysztof ZiemianskiPublished in: CONCUR (2022)
Keyphrases
- higher dimensional
- regular expressions
- euclidean space
- pattern matching
- propositional logic
- arbitrary dimension
- low dimensional
- continuous relaxation
- high dimensional
- distance transform
- finite dimensional
- lower dimensional
- query language
- matching algorithm
- finite state
- data structure
- neural network
- medical images
- pattern recognition
- database systems