05021 Abstracts Collection -- Mathematics, Algorithms, Proofs.
Thierry CoquandHenri LombardiMarie-Françoise RoyPublished in: Mathematics, Algorithms, Proofs (2005)
Keyphrases
- orders of magnitude
- learning algorithm
- recently developed
- computational efficiency
- theoretical analysis
- machine learning algorithms
- machine learning
- information systems
- image processing
- data structure
- computational complexity
- times faster
- graph theory
- neural network
- benchmark datasets
- computationally efficient
- optimization problems
- computational cost
- lower bound
- knowledge base