Login / Signup
Proofs-as-Programs in Computable Analysis.
Ulrich Berger
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