A Function Elimination Method for Checking Satisfiability of Arithmetical Logics.
Valentina CastiglioniRuggero LanotteSimone TiniPublished in: CS&P (2014)
Keyphrases
- synthetic data
- high accuracy
- computational cost
- experimental evaluation
- support vector machine svm
- optimization method
- detection method
- support vector machine
- probabilistic model
- computational complexity
- dynamic programming
- prior knowledge
- support vector
- objective function
- segmentation algorithm
- detection algorithm
- decision trees
- neural network
- data sets