Deciding Monodic Fragments by Temporal Resolution.

Ullrich Hustadt Boris Konev Renate A. Schmidt

Published in: CADE (2005)

Keyphrases

temporal resolution
temporal logic
predicate logic
spatial resolution
frame rate
high resolution
image sequences
motion compensation
space time
bit rate
multiscale
image processing
real time
multispectral
model checking
super resolution
high speed
multiresolution