Clustering-based revision debug in regression verification.
Djordje MaksimovicAndreas G. VenerisZissis PoulosPublished in: ICCD (2015)
Keyphrases
- regression model
- linear regression
- ridge regression
- regression algorithm
- knowledge base
- regression problems
- belief revision
- polynomial regression
- real time
- formal verification
- regression method
- face verification
- gaussian processes
- model checking
- model selection
- support vector regression
- support vector
- regression methods
- aggregating algorithm
- asynchronous circuits
- belief update
- multi variate
- classification and regression problems
- multiple regression
- formal analysis
- parallel computing
- genetic programming
- least squares
- expert systems
- neural network