2 papers
cs.CV2021
HENet: Forcing a Network to Think More for Font Recognition
Jingchao Chen, Shiyi Mu, Shugong Xu +1
Although lots of progress were made in Text Recognition/OCR in recent years, the task of font recognition is remaining challenging. The main challenge lies in the subtle difference…
cs.LO2019
Core First Unit Propagation
Jingchao Chen
Unit propagation (which is called also Boolean Constraint Propagation) has been an important component of every modern CDCL SAT solver since the CDCL solver was developed. In gener…