Sequential algorithms and the computational content of classical proofs.
Thomas PowellPublished in: CoRR (2018)
Keyphrases
- learning algorithm
- recently developed
- computational complexity
- computational cost
- computationally efficient
- machine learning
- times faster
- orders of magnitude
- web documents
- theoretical analysis
- digital libraries
- itemsets
- benchmark datasets
- data structure
- computationally expensive
- multimedia
- database
- mathematical programming
- complexity analysis