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: Zeng:Zhihong
Contributed to:
2008
20032002200220012000Wrote 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.