| 2006 |
|---|
| 8 | EE | Zhi Han,
Bruce H. Krogh:
Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes.
HSCC 2006: 287-301 |
| 2005 |
|---|
| 7 | EE | Zhi Han,
Chang-Ping Liu:
A two-stage handwritten character segmentation approach in mail address recognition.
ICDAR 2005: 111-115 |
| 6 | EE | Xu-Cheng Yin,
Chang-Ping Liu,
Zhi Han:
Financial Document Image Coding with Regions of Interest Using JPEG2000.
ICDAR 2005: 96-100 |
| 5 | EE | Zhi Han,
Chang-Ping Liu:
Fingerprint Classification Based on Statistical Features and Singular Point Information.
IWBRS 2005: 119-126 |
| 4 | EE | Xu-Cheng Yin,
Chang-Ping Liu,
Zhi Han:
Feature combination using boosting.
Pattern Recognition Letters 26(14): 2195-2205 (2005) |
| 2004 |
|---|
| 3 | EE | Bill Aldrich,
Ansgar Fehnker,
Peter H. Feiler,
Zhi Han,
Bruce H. Krogh,
Eric Lim,
Shiva Sivashankar:
Managing Verification Activities Using SVM.
ICFEM 2004: 61-75 |
| 2003 |
|---|
| 2 | EE | Edmund M. Clarke,
Ansgar Fehnker,
Zhi Han,
Bruce H. Krogh,
Olaf Stursberg,
Michael Theobald:
Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement.
TACAS 2003: 192-207 |
| 1 | EE | Edmund M. Clarke,
Ansgar Fehnker,
Zhi Han,
Bruce H. Krogh,
Joël Ouaknine,
Olaf Stursberg,
Michael Theobald:
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems.
Int. J. Found. Comput. Sci. 14(4): 583-604 (2003) |
