C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Synthesizing More Expressive Invariants by Semidefinite Programming.
Qiuye Wang
Lihong Zhi
Naijun Zhan
Bai Xue
Zhi-Hong Yang
Published in:
CoRR (2019)
Keyphrases
</>
semidefinite programming
linear programming
semidefinite
maximum margin
primal dual
interior point methods
kernel matrix
positive semidefinite
feature space
pattern recognition
nearest neighbor
least squares
supervised learning
pattern classification
low rank