On Mathematical Proving.

Petros S. Stefaneas Ioannis M. Vandoulakis

Published in: J. Artif. Gen. Intell. (2015)

Keyphrases

neural network
learning algorithm
feature selection
data structure
preprocessing
computer algebra
databases
genetic algorithm
high level
lower bound
multiresolution
medical images
mathematical theory