Login / Signup

Decidable Navigation Logics for Object Structures.

Frank S. de BoerRogier M. van Eijk
Published in: CSL (2001)
Keyphrases
  • d objects
  • object model
  • complex objects
  • moving objects
  • deformable objects
  • similar objects
  • keypoints
  • first order logic
  • expressive power
  • data objects
  • partial occlusion
  • multiple objects