The placeholder view of assumptions and the Curry-Howard correspondence.

Published in: Synth. (2021)

Keyphrases

pixel wise
simplifying assumptions
data sets
image matching
point correspondences
stereo correspondence
databases
search algorithm
query processing
mobile robot
closed form
restrictive assumptions