What Can Be Verified Locally?.

Alkida Balliu Gianlorenzo D'Angelo Pierre Fraigniaud Dennis Olivetti

Published in: STACS (2017)

Keyphrases

dynamic programming
computational model
computer vision
high level
training data
xml documents
special case
state space
motion estimation
single image
data fusion