Multimodal Dependent Type Theory.

Daniel Gratzer G. A. Kavvos Andreas Nuyts Lars Birkedal

Published in: Log. Methods Comput. Sci. (2021)

Keyphrases

databases
multi modal
artificial intelligence
decision making
theoretical framework
data sets
genetic algorithm
computer vision
bayesian networks
computational model
theoretical foundation
formal theory