Completeness and Complexity of Multi-modal CTL.

Thomas Ågotnes Wiebe van der Hoek Michael J. Wooldridge

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

multi modal
multi modality
high dimensional
cross modal
model checking
audio visual
temporal logic
single modality
image annotation
semantic concepts
fusing multiple