Partition-based regression verification.
Marcel BöhmeBruno C. d. S. OliveiraAbhik RoychoudhuryPublished in: ICSE (2013)
Keyphrases
- regression model
- model checking
- ridge regression
- linear regression
- formal verification
- regression analysis
- locally weighted
- model selection
- data sets
- formal methods
- regression problems
- regression algorithm
- support vector regression
- verification method
- polynomial regression
- asynchronous circuits
- concurrent systems
- formal analysis
- signature verification
- gaussian processes
- support vector
- regression method
- partial least squares
- database
- gaussian process regression
- person identification
- fingerprint verification
- temporal logic
- genetic programming
- regression function
- semi supervised
- case study
- machine learning
- aggregating algorithm