The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation.
William M. FarmerPublished in: MKM/Calculemus/DML (2013)
Keyphrases
- learning algorithm
- artificial intelligence
- recently developed
- computationally expensive
- computationally efficient
- information retrieval
- genetic algorithm
- image segmentation
- times faster
- multi agent
- optimization problems
- evaluation measures
- data mining
- data mining algorithms
- orders of magnitude
- machine learning algorithms
- upper bound
- significant improvement
- natural language
- data structure
- image sequences
- decision trees
- computer vision