BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × USA
2 × France
2 × Germany
Collaborated with:
M.J.Ciesielski P.Kalla S.Ma Q.Zhang I.G.Harris B.Rouzeyre C.Huang Y.Hu L.Yin X.Wei J.Tu T.S.Huang
Talks about:
satisfi (2) use (2) infrastructur (1) represent (1) recognit (1) paradigm (1) approach (1) multipl (1) frontal (1) express (1)

Person: Zhihong Zeng

DBLP DBLP: Zeng:Zhihong

Contributed to:

ICPR 20082008
DATE 20032003
DATE 20022002
ICPR v2 20022002
DATE 20012001
DATE 20002000

Wrote 6 papers:

ICPR-2008-HuZYWTH #case study #recognition
A study of non-frontal-view facial expressions recognition (YH, ZZ, LY, XW, JT, TSH), pp. 1–4.
DATE-2003-ZengZHC #correlation #performance #using
Fast Computation of Data Correlation Using BDDs (ZZ, QZ, IGH, MJC), pp. 10122–10129.
DATE-2002-CiesielskiKZR #canonical #diagrams #representation #verification
Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic Verification (MJC, PK, ZZ, BR), pp. 285–289.
ICPR-v2-2002-ZengM #multi #performance
An Efficient Vision System for Multiple Car Tracking (ZZ, SM), pp. 609–612.
DATE-2001-ZengKC #approach #named #satisfiability
LPSAT: a unified approach to RTL satisfiability (ZZ, PK, MJC), pp. 398–402.
DATE-2000-KallaZCH #framework #paradigm #recursion #satisfiability #using
A BDD-Based Satisfiability Infrastructure Using the Unate Recursive Paradigm (PK, ZZ, MJC, CH), pp. 232–236.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.