2008 |
10 | EE | Zhenhong Zhang,
Zhi Han:
A Phenomenographic Study into Conceptions of Social Relations in Online Collaborative Learning - Case Study of China Higher Education Learners.
CSSE (5) 2008: 146-149 |
9 | EE | Zhi Han,
Zhenhong Zhang:
Integration of Game Elements with Role Play in Collaborative Learning - A Case Study of Quasi-GBL in Chinese Higher Education.
Edutainment 2008: 427-435 |
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) |