Keyphrases
- regression model
- polynomial regression
- model checking
- linear regression
- formal verification
- regression problems
- neural network
- verification method
- locally weighted
- asynchronous circuits
- regression algorithm
- regression analysis
- gaussian processes
- face verification
- regression methods
- survival analysis
- model selection
- regression function
- support vector
- genetic algorithm
- multi variate
- databases
- kernel ridge regression