Sign in

What can be verified locally?

Alkida BalliuGianlorenzo D'AngeloPierre FraigniaudDennis 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