Propositional Temporal Resolution Revised.

Anatoli Degtyarev Michael Fisher

Published in: ARW (2000)

Keyphrases

temporal resolution
spatial resolution
frame rate
propositional logic
first order logic
temporal logic
image sequences
high resolution
space time
motion compensation
default logic
knowledge compilation
wavelet transform
bit rate
multiresolution
spatio temporal
multiscale