Multimodal Dependent Type Theory.

Daniel Gratzer G. A. Kavvos Andreas Nuyts Lars Birkedal

Published in: LICS (2020)

Keyphrases

theoretical framework
theoretical basis
database
multimedia
special case
audio visual
multimodal interaction
data sets
neural network
multi modal
computational model
formal theory