Clausal temporal resolution.

Michael Fisher Clare Dixon Martin Peim

Published in: ACM Trans. Comput. Log. (2001)

Keyphrases

temporal resolution
spatial resolution
frame rate
temporal logic
high resolution
image sequences
super resolution
low resolution
bit rate
space time
multispectral
d scene