Login / Signup

Multi-Modal CTL: Completeness, Complexity, and an Application.

Thomas ÅgotnesWiebe van der HoekJuan A. Rodríguez-AguilarCarles SierraMichael J. Wooldridge
Published in: Stud Logica (2009)
Keyphrases
  • multi modal
  • audio visual
  • cross modal
  • multi modality
  • model checking
  • high dimensional
  • semantic concepts
  • video search
  • temporal logic
  • feature extraction
  • image annotation
  • humanoid robot
  • fusing multiple