A coinductive approach to verified exact real number computation.

Ulrich Berger Sion Lloyd

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

Keyphrases

small number
neural network
knowledge base
three dimensional
cooperative
real life
data sets
web services
training data
preprocessing
probabilistic model
multi class
memory requirements