Dependent Types for Nominal Terms with Atom Substitutions.

Elliot Fairweather Maribel Fernández Nora Szasz Alvaro Tasistro

Published in: TLCA (2015)

Keyphrases

information retrieval
computer vision
knowledge base
databases
multimedia
database systems
video sequences
pairwise
special case