Supercompilation for Martin-Lof's type theory.

Ilya G. Klyuchnikov Sergei A. Romanenko

Published in: Program. Comput. Softw. (2015)

Keyphrases

outlier detection
computer vision
theoretical framework
theoretical basis
artificial neural networks
theoretical foundation
data mining
machine learning
artificial intelligence
feature selection
multi agent
pattern recognition
probabilistic model
information theory
formal theory