Verifying Relative Safety, Accuracy, and Termination for Program Approximations.

Shaobo He Shuvendu K. Lahiri Zvonimir Rakamaric

Published in: NFM (2016)

Keyphrases

high accuracy
computational cost
prediction accuracy
computational efficiency
classification accuracy
real time
error rate
term rewriting
program execution
improved accuracy
test cases
least squares
computational complexity
integrity constraints
closed form
social networks
artificial intelligence
genetic algorithm