Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning

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.

2D+3D facial expression recognition via embedded tensor manifold regularization

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

Sparse and Low-Rank Covariance Matrices Estimation

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.