Monodic Temporal Resolution.

Anatoli Degtyarev Michael Fisher Boris Konev

Published in: CADE (2003)

Keyphrases

temporal resolution
predicate logic
temporal logic
spatial resolution
frame rate
high resolution
super resolution
image sequences
motion compensation
model checking
image reconstruction
low resolution
high speed
real time
space time
single image
bit rate