On the Use of Machine Learning to Predict the Time and Resources Consumed by Applications
A training algorithm for optimal margin classifiers