Proofs-as-Programs in Computable Analysis.

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2009)

Keyphrases

data analysis
data sets
neural network
real time
feature selection
similarity measure
wide range
artificial neural networks
data model
statistical analysis
automatic analysis