Approximate Normalization for Gradual Dependent Types.

Joseph Eremondi Éric Tanter Ronald Garcia

Published in: CoRR (2019)

Keyphrases

neural network
pattern recognition
special case
real time
data sets
databases
data mining
information retrieval
metadata
multiscale
cooperative
support vector
preprocessing