Towards First-Order Temporal Resolution.

Anatoli Degtyarev Michael Fisher

Published in: KI/ÖGAI (2001)

Keyphrases

temporal resolution
spatial resolution
frame rate
higher order
temporal logic
image sequences
first order logic
high resolution
space time
bit rate
motion compensation
three dimensional
spatio temporal
low resolution