Self-Representation in Girard's System U.

Matt Brown Jens Palsberg

Published in: POPL (2015)

Keyphrases

image representation
real time
computer vision
decision making
three dimensional
multiscale
search algorithm
relational databases