Towards algorithmic typing for DOT (short paper).

Published in: SCALA@SPLASH (2017)

Keyphrases

computer vision
search algorithm
neural network
three dimensional
image sequences
high quality
bayesian networks
color images
special case