When Regression Verification Meets CEGAR.

Fei He Qianshan Yu Liming Cai

Published in: CoRR (2018)

Keyphrases

regression model
model selection
model checking
linear regression
polynomial regression
regression analysis
formal analysis
face verification

regression algorithm
gaussian processes
database
regression methods
partial least squares
regression problems
gaussian process
support vector regression

support vector
multi variate
information systems
ridge regression
locally weighted
sparse bayesian learning
simple linear
regression method

reproducing kernel hilbert space
least squares
knn
face recognition
case study
artificial intelligence
data sets