A Multi-Modal Dependent Type Theory for Representing Data Accessibility in a Network.

Giuseppe Primiero

Published in: PSPL@LICS (2010)

Keyphrases

multi modal
data sets
network structure
data sources
image data
multiple types
image processing
semantic concepts
face recognition
data processing
statistical analysis
high dimensional data
multi modality