Advances in the Formalization of the Odd Order Theorem.

Georges Gonthier

Published in: ITP (2011)

Keyphrases

real world
recent advances
real time
multiresolution
artificial intelligence
search algorithm
multiscale
three dimensional
formal model
evolutionary algorithm
cooperative
feature extraction
decision trees
website
social networks
information retrieval
machine learning
neural network