2 code implementations • 2 May 2023 • Ziyan Luo, Xujie Si
Solving Constrained Horn Clauses (CHCs) is a fundamental challenge behind a wide range of verification and analysis tasks.
no code implementations • 29 Jan 2022 • Yunfang Fu, Qiuqi Ruan, Ziyan Luo, Gaoyun An, Yi Jin, Jun Wan
In this paper, a novel approach via embedded tensor manifold regularization for 2D+3D facial expression recognition (FERETMR) is proposed.
3D Facial Expression Recognition Dimensionality Reduction +1
no code implementations • 17 Jul 2014 • Shenglong Zhou, Naihua Xiu, Ziyan Luo, Lingchen Kong
This paper aims at achieving a simultaneously sparse and low-rank estimator from the semidefinite population covariance matrices.