Alternating automata on infinite objects, determinacy and Rabin's theorem.

David E. Muller Paul E. Schupp

Published in: Automata on Infinite Words (1984)

Keyphrases

d objects
cellular automata
neural network
multiple objects
bounding box
object model
target object
object level
real world objects
tree automata
video sequences
moving objects
spatial relationships
object segmentation
digital objects