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