Towards Limit Computable Mathematics.

Susumu Hayashi Masahiro Nakata

Published in: TYPES (2000)

Keyphrases

computer science
artificial intelligence
database systems
finite sets
learning algorithm
information systems
real world
genetic algorithm
computer vision
decision trees
support vector
lower bound
information technology
multiresolution
probability distribution
computer algebra