Mechanising first-order temporal resolution.

Boris Konev Anatoli Degtyarev Clare Dixon Michael Fisher Ullrich Hustadt

Published in: Inf. Comput. (2005)

Keyphrases

temporal resolution
spatial resolution
frame rate
temporal logic
higher order
first order logic
motion compensation
high resolution
image sequences
super resolution
low resolution
machine learning
image processing
image data
space time
image reconstruction