2008 |
21 | EE | Mingzhi Mao,
Yunfei Jiang:
A Coherent Object-Oriented (OO) Software Metric Framework Model: Software Engineering.
CSSE (2) 2008: 68-72 |
20 | EE | Yuechang Liu,
Yunfei Jiang,
Hong Qian:
Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal Problems.
TIME 2008: 129-136 |
2007 |
19 | EE | Zhiguo Zhang,
Yunfei Jiang:
Parallel First-Order Dynamic Logic and Its Expressiveness and Axiomatization.
APPT 2007: 600-607 |
18 | EE | Xuenong Zhang,
Yunfei Jiang,
Aixiang Chen:
A Test Theory of the Model-Based Diagnosis.
ICIC (2) 2007: 943-951 |
17 | EE | Xuenong Zhang,
Yunfei Jiang,
Aixiang Chen:
Diagnosing a System with Value-Based Reasoning.
ICIC (2) 2007: 971-981 |
16 | EE | Wei Huang,
Zhonghua Wen,
Yunfei Jiang,
Lihua Wu:
Observation Reduction for Strong Plans.
IJCAI 2007: 1930-1935 |
15 | EE | Zhao-Fu Fan,
Yunfei Jiang:
Operator Component Matrix Model for IMP Program Diagnosis.
IJCAI 2007: 354-359 |
14 | EE | Yunfei Jiang,
Ping Guo:
Regularization Versus Dimension Reduction, Which Is Better?
ISNN (2) 2007: 474-482 |
13 | EE | Yunfei Jiang,
Ping Guo:
Comparative studies of Feature Extraction methods with application to face recognition.
SMC 2007: 3627-3632 |
12 | | Mingzhi Mao,
Yunfei Jiang,
Xiaolong Chai:
A Method of Software Structure Designing Based on Graph Planning.
SoMeT 2007: 73-82 |
11 | EE | Yuechang Liu,
Hong Qian,
Yunfei Jiang:
Graph-DTP: Graph-Based Algorithm for Solving Disjunctive Temporal Problems.
TIME 2007: 190 |
10 | EE | Qiang Yang,
Kangheng Wu,
Yunfei Jiang:
Learning action models from plan examples using weighted MAX-SAT.
Artif. Intell. 171(2-3): 107-143 (2007) |
9 | EE | Kangheng Wu,
Qiang Yang,
Yunfei Jiang:
ARMS: an automatic knowledge engineering tool for learning action models for AI planning.
Knowledge Eng. Review 22(2): 135-152 (2007) |
2006 |
8 | EE | Zhuohua Duan,
Yunfei Jiang,
Zixing Cai:
Intelligent Tutorial Planning Based on Extended Knowledge Structure Graph.
Edutainment 2006: 7-16 |
7 | EE | Wei Huang,
Zhonghua Wen,
Yunfei Jiang,
Aixiang Chen:
Comparison Between Two Languages Used to Express Planning Goals: CTL and EAGLE.
PRICAI 2006: 180-189 |
6 | EE | Yuechang Liu,
Yunfei Jiang:
LP-TPOP: Integrating Planning and Scheduling Through Constraint Programming.
PRICAI 2006: 844-848 |
5 | EE | Zhifeng Lai,
S. C. Cheung,
Yunfei Jiang:
Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework.
QSIC 2006: 410-417 |
2005 |
4 | | Qiang Yang,
Kangheng Wu,
Yunfei Jiang:
Learning Actions Models from Plan Examples with Incomplete Knowledge.
ICAPS 2005: 241-250 |
3 | EE | Xiaochun Cheng,
Dantong Ouyang,
Yunfei Jiang,
Chengqi Zhang:
An improved model-based method to test circuit faults.
Theor. Comput. Sci. 341(1-3): 150-161 (2005) |
2003 |
2 | EE | Li Lin,
Yunfei Jiang:
The computation of hitting sets: Review and new algorithms.
Inf. Process. Lett. 86(4): 177-184 (2003) |
1995 |
1 | | Xiaochun Cheng,
Yunfei Jiang,
Xuhua Liu:
The Rationality and Decidability of Fuzzy Implications.
IJCAI 1995: 1910-1915 |