Grafted Frames and S1-Completeness.

Published in: J. Symb. Log. (1999)

Keyphrases

moving objects
video frames
key frames
frame rate
reference frame
formal proofs
real world
search engine
high quality
evolutionary algorithm
hidden markov models
motion estimation
data quality
single frame