Checking Integral Real-Time Automata for Extended Linear Duration Invariants.

Changil Choe Univan Ahn Song Han

Published in: FTSCS (2014)

Keyphrases

real time
cellular automata
low cost
linear systems
image sequences
control system
vision system
integral equation
tree automata
finite automata
consistency checking
moment invariants
finite state
invariant features
affine invariant
high speed
data streams
video sequences
neural network