Regression Verification for Unbalanced Recursive Functions.
Ofer StrichmanMaor VeitsmanPublished in: FM (2016)
Keyphrases
- recursive functions
- inductive inference
- regression model
- real valued functions
- linear regression
- model selection
- face verification
- model checking
- gaussian processes
- support vector regression
- regression algorithm
- regression function
- locally weighted
- verification method
- regression analysis
- regression problems
- simple linear
- regression methods
- semi supervised