The Proof by 2M-1: a Low-Cost Method to Check Arithmetic Computations.
Sylvain GuilleyPhilippe HoogvorstPublished in: SEC (2005)
Keyphrases
- low cost
- synthetic data
- objective function
- pairwise
- significant improvement
- classification method
- main contribution
- cost function
- experimental evaluation
- computational cost
- high accuracy
- evaluation method
- data sets
- optimization method
- dynamic programming
- preprocessing
- model selection
- optimization algorithm
- clustering method
- support vector machine
- feature vectors