Algorithms with polynomial interpretation termination proof.
Guillaume BonfanteAdam CichonJean-Yves MarionHélène TouzetPublished in: J. Funct. Program. (2001)
Keyphrases
- real time
- computational efficiency
- learning algorithm
- benchmark datasets
- computational cost
- worst case
- semantic interpretation
- computationally expensive
- orders of magnitude
- machine learning algorithms
- theoretical analysis
- computationally efficient
- significant improvement
- high level
- genetic algorithm
- information retrieval
- data mining