Login / Signup
Automatic kernel code synthesis and verification.
Qiang Zhang
Jianzhong Qiao
Qingyang Meng
Yu Chen
Published in:
Comput. Secur. (2020)
Keyphrases
</>
support vector
kernel methods
fully automatic
kernel matrix
machine learning
face recognition
high dimensional
principal component analysis
model checking
component analysis
error correcting