Remarks on Martin-Löf's Partial Type Theory.

Erik Palmgren Viggo Stoltenberg-Hansen

Published in: BIT (1992)

Keyphrases

theoretical foundation
computer vision
theoretical basis
neural network
real world
machine learning
information retrieval
image processing
website
case study
similarity measure
multiresolution
control system
multiple types