Reversible pushdown transducers.

Bruno Guillon Martin Kutrib Andreas Malcher Luca Prigioniero

Published in: Inf. Comput. (2021)

Keyphrases

markov chain
cellular automata
finite automata
model checking
image segmentation
image features
computer vision
feature extraction
domain knowledge