One-way Definability of Sweeping Transducer.

Félix Baschenis Olivier Gauwin Anca Muscholl Gabriele Puppis

Published in: FSTTCS (2015)

Keyphrases

fixed point
propositional logic
computer vision
probability distribution
finite model theory
real time
machine learning
information retrieval
control system
hidden markov models
image registration