What can be verified locally?

Alkida Balliu Gianlorenzo D'Angelo Pierre Fraigniaud Dennis Olivetti

Published in: J. Comput. Syst. Sci. (2018)

Keyphrases

globally consistent
knowledge base
real world
mobile devices
search algorithm
video sequences
object recognition
low level
knowledge based systems
path planning
moving objects
action recognition
virtual reality