An Extension of an Automated Termination Method of Recursive Functions.
Fairouz KamareddineFrançois MoninPublished in: Int. J. Found. Comput. Sci. (2002)
Keyphrases
- high accuracy
- fully automatic
- cost function
- machine learning
- objective function
- k means
- classification method
- theoretical analysis
- experimental evaluation
- support vector machine
- dynamic programming
- computational cost
- neural network
- text classification
- significant improvement
- active learning
- pairwise
- recursive functions