Revision debug with non-linear version history in regression verification.
John AdlerRyan BerryhillAndreas G. VenerisPublished in: IVSW (2016)
Keyphrases
- simple linear
- regression model
- belief revision
- model selection
- linear regression
- support vector regression
- verification method
- regression analysis
- semi parametric
- knowledge base
- regression problems
- formal verification
- face verification
- polynomial regression
- multi variate
- asynchronous circuits
- regression method
- partial least squares
- neural network
- control system
- face recognition
- genetic algorithm