Variations of Checking Stack Automata: Obtaining Unexpected Decidability Properties.

Oscar H. Ibarra Ian McQuillan

Published in: DLT (2017)

Keyphrases

image sequences
video sequences
description logics
type checking
computer vision
finite automata
data mining
query answering
finite state
probabilistic automata