Approximating Classical Theorems.

Stefano Baratella Stefano Berardi

Published in: J. Log. Comput. (1998)

Keyphrases

high level
real time
web services
computational complexity
learning algorithm
image processing
optimal solution
cooperative
support vector
pattern recognition
object recognition
artificial neural networks