| 2008 |
|---|
| 17 | EE | Wei Dong,
Ji Wang,
Changzhi Zhao,
Xian Zhang,
Jie Tian:
Automating Software FMEA via Formal Analysis of Dependence Relations.
COMPSAC 2008: 490-491 |
| 16 | EE | Jin Song Dong,
Jing Sun,
Jun Sun,
Kenji Taguchi,
Xian Zhang:
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.
ICFEM 2008: 318-337 |
| 15 | EE | Mingsheng Jin,
Shiming Ji,
Li Zhang,
Qiaoling Yuan,
Xian Zhang,
Yindong Zhang:
Material Removal Model and Contact Control of Robotic Gasbag Polishing Technique.
RAM 2008: 879-883 |
| 14 | EE | Xian Zhang,
Yu Hao,
Xiaoyan Zhu,
Ming Li:
New Information Distance Measure and Its Application in Question Answering System.
J. Comput. Sci. Technol. 23(4): 557-572 (2008) |
| 2007 |
|---|
| 13 | EE | Xian Zhang,
Xiaoyan Zhu:
A New Type of Feature - Loose N-Gram Feature in Text Categorization.
IbPRIA (1) 2007: 378-385 |
| 12 | EE | Xian Zhang,
Yu Hao,
Xiaoyan Zhu,
Ming Li,
David R. Cheriton:
Information distance from a question to an answer.
KDD 2007: 874-883 |
| 2006 |
|---|
| 11 | EE | Jingyang Li,
Maosong Sun,
Xian Zhang:
A Comparison and Semi-Quantitative Analysis of Words and Character-Bigrams as Features in Chinese Text Categorization.
ACL 2006 |
| 10 | EE | Jianhua Wu,
Fang Lin,
Haiyan Chen,
Xian Zhang,
Jing Wang,
Li Li:
The Design and Implementation of Chinese Rural Studies Database.
ICADL 2006: 537-538 |
| 9 | EE | Jin Song Dong,
Yang Liu,
Jun Sun,
Xian Zhang:
Verification of Computation Orchestration Via Timed Automata.
ICFEM 2006: 226-245 |
| 8 | EE | Jin Song Dong,
Ping Hao,
Jun Sun,
Xian Zhang:
A Reasoning Method for Timed CSP Based on Constraint Solving.
ICFEM 2006: 342-359 |
| 7 | EE | Jin Song Dong,
Ping Hao,
Xian Zhang,
Shengchao Qin:
HighSpec: a tool for building and checking OZTA models.
ICSE 2006: 775-778 |
| 6 | EE | Jiandong Jiang,
Fang Xu,
Xinrong Zhen,
Xian Zhang,
Yangyu Wang,
Libin Zhang:
Axiomatic Design Using Ontology Modeling for Interoperability in Small Agriculture Machinery Product Development.
PROLAMAT 2006: 184-191 |
| 5 | EE | Xian Zhang,
Jianfeng Cai,
Yimin Wei:
Interval iterative methods for computing Moore-Penrose inverse.
Applied Mathematics and Computation 183(1): 522-532 (2006) |
| 2005 |
|---|
| 4 | EE | Jin Song Dong,
Ping Hao,
Shengchao Qin,
Xian Zhang:
The Semantics and Tool Support of OZTA.
ICFEM 2005: 66-80 |
| 3 | EE | Xian Zhang,
Xiaoyan Zhu:
Extended Bi-gram Features in Text Categorization.
IbPRIA (2) 2005: 379-386 |
| 2004 |
|---|
| 2 | EE | Yuehua Wan,
Shiming Ji,
Yi Xie,
Xian Zhang,
Peijun Xie:
Video Program Clustering Indexing Based on Face Recognition Hybrid Model of Hidden Markov Model and Support Vector Machine.
IWCIA 2004: 739-749 |
| 1 | EE | Xian Zhang,
Mei-Yu Cheng:
The general common nonnegative-definite and positive-definite solutions to the matrix equations AXAast = BBast and CXCast = DDast.
Appl. Math. Lett. 17(5): 543-547 (2004) |
