Gluing for Type Theory.

Ambrus Kaposi Simon Huber Christian Sattler

Published in: FSCD (2019)

Keyphrases

theoretical framework
database
data sets
cooperative
theoretical foundation
computer vision
similarity measure
search algorithm
expert systems
information theory
theoretical basis
domain theory
general theory