Realizability at Work: Separating Two Constructive Notions of Finiteness.

Marc Bezem Thierry Coquand Keiko Nakata Erik Parmann

Published in: TYPES (2016)

Keyphrases

real world
formal definitions
data sets
data mining
feature selection
image processing
multimedia
hidden markov models
computational properties