The Alternation Hierarchy of the μ-calculus over Weakly Transitive Frames.

Leonardo Pacheco Kazuyuki Tanaka

Published in: WoLLIC (2022)

Keyphrases

moving objects
hierarchical structure
video frames
real time
key frames
reference frame
single frame
helmholtz principle
temporal coherence
similarity measure
data structure
consecutive frames
provably correct