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