a

pantgrievousΤεχνίτη Νοημοσύνη και Ρομποτική

30 Νοε 2013 (πριν από 3 χρόνια και 8 μήνες)

57 εμφανίσεις

1


Xiaochun Cheng

Email:
x.cheng@mdx.ac.uk

Postal Address:


School of Computing Science,


The University of Middlesex,


The Burroughs, Hendon, London, NW4 4BE, UK




Xiaochun Cheng’s
Journal

Papers


[J1].

Advances of
Chinese
Natural Language Understanding Research
, ACE UK Journal, Vol.
12, 2006, ISSN


1476
-
5837, pp
7
-
17.

[J2].

Semantic Grid Key Technologies
, ACE UK Journal, Vol. 12, 2006, ISSN


1476
-
5837,
pp
23
-
29
.

[J3].

Models of Teaching Mathematics in Network
ed Environments
, ACE UK Journal, Vol. 12,
2006, ISSN


1476
-
5837, pp
50
-
53.

[J4].

Model Based System Reconfiguration Research
, ACE UK Journal, Vol. 12, 2006,
ISSN


1476
-
5837, pp58
-
61.

[J5].

Model
-
based product redesign, International Journal of Computer Science and Netw
ork
Security, VOL.6 No.1A, January 2006. pp 99
-
102.


[J6].

The development of a customized e
-
learning system, Journal of Computational
Information Systems, accepted.

[J7].

Research on Resource Purveying System Model based on Multi
-
Agent Technology,
Experiment Techno
logy and Experiment Systems, 2005 Vol. 45. No.3, 26
-
36.

[J8].

Intelligent Tutoring System Based on Internet, Chinese Education Network, 2005, No.1,
44
-
47.

[J9].

Formal

V
erification

of

M
erchant

R
egistration

P
hase

of

Secure Electronic Transaction

P
rotocol
,
Internationa
l Journal of Automation and Computing,
ISSN 1476
-
8186,

Vol.2,
No.2, 2005, pp155
-
162
.

[J10].

The
A
melioration to
T
he
F
ace
R
ecognition
A
lgorithm
B
ased on the Viola
-
Jones
F
rame
,
North Eastern Normal University Science Journal, 2005, 37(3):24
-
2
7
.

[J11].

An Improved Model B
ased Method to Test Circuit Faults, Theoretical Computer Science,
September, 2005
, 341(1
-
3): 150
-
161.

(SCI, EI, SCIE)

[J12].

Programming Style Based Program Partition, International Journal of Software
Engineering an
d Knowledge Engineering,
December, 2005
, Vol. 1
5, No. 6, 1027
-
1062.

ISSN 0218
-
1940

(SCI
, SCIE
, EI
)

[J13].

Verifying Cryptographic Protocols, Intelligent Cybernetic Systems, ISSN 1746
-
5907
,
accepted.

[J14].

Index Conditions of Resolution, International Journal of Automation and Computing,
ISSN 1476
-
8186, 2005(1):
52
-
59.

[J15].

Predicting Finance Market using Neural Network, Computer Science, 2004,

ISSN

1002
-
137X
,

31(7),

pp
49
-
53
.

[J16].

Topology Control of Ad Hoc Wireless Networks for Energy Efficiency, IEEE
Transactions on Computers, December, 2004, Volume: 53 , Issue: 12 , Pages:
1629


1635
.
ISSN 0018
-
9340
(SCI, EI, SCIE)

[J17].

Hierarchical Model
-

Based Diagnosis, Computer Science, 2004, 31 (10.A): 254
-
256,
ISSN 1002
-
137X

CN50
-
1075/TP.


[J18].

A Method of Computing Hitting Set in Model
-
based Diagnosis, Journal of Scientific
Instrument, Sup
plementary Issue, 2004,

August, Vol. 116, 25 (4): 605
-
608. ISSN
0245
-
3087.

2

[J19].

Research on Personalized Educational Resource Pu
rvey Modes Based on Multi
-
Agent
Technology, Research on Education Technology, 2004, No.5, Pages 64
-
67.

[J20].

Decision Tree Applied in Moder
n Distance Education,
North Eastern Normal University

Science Journal, Vol. 36, September, 2004, pp179
-
183. ISSN 1000
-
1832.

[J21].

Abstract Operator Logic and Its Natural Deduction System,
North Eastern Normal
University

Science Journal, Vol 36. No. 4, Decembe
r, 2004, pp38
-
44. ISSN 1000
-
1832.

[J22].

Theories and Applications of Non
-
linear Spatial Information Statistics in Geo
-
Science,
Journal of Daqing Petroleum Institute, Vol. 28(1), 2004, pp70
-
72.

[J23].

Formal Verification of Network Security Protocol, ACE UK

Journal, Vo
l. 11, 2004,
ISSN


1476
-
5837, pp 17
-
20

[J24].

Synthesized
Intrusion Detection System based on Multiple
A
gent
S
ystem
, ACE UK
Journal, Vol. 11, 2004, ISSN


1476
-
5837, pp 28
-
32

[J25].

Mineral Resource Prognosis Incorporating Synthesized Information Using GIS
,

ACE UK
Journa
l, Vol. 11, 2004, ISSN


1476
-
5837, pp33
-
35

[J26].

Comparative Research between OOP and AOP, ACE UK Journal, Vol. 11, 2004,
ISSN


1476
-
5837, pp 36
-
41

[J27].

Teaching Model using Computer Network, ACE UK Journal, Vol. 11, 2004,
ISSN


1476
-
5837, pp42
-
45.

[J28].

Design of Intellig
ent Tutoring System Based on Internet, Journal of Guangxi Normal
University, Vol. 22, No.3, pp 19
-
23. September 2004.

[J29].

The Research for Teaching Chinese as Foreign Language based on Internet, Journal of
Guangxi Normal University, Vol. 22, No.3, pp 24
-
28.
September 2004.

[J30].

Survey on Data Mining and Knowledge Discovery, North Eastern Normal University
Science Journal, Vol. 35, October, 2003, pp54
-
58. ISSN 1000
-
1832.

[J31].

The Application of Knowledge Engineering Research in E
-
Course Integration,

North
Eastern Norma
l University Science Journal, Vol 35, October, 2003, pp46
-
50. ISSN
1000
-
1832.

[J32].

NENU Ideal Educational Software Products,
ACE UK Journal, Vol. 10, 2003,
ISSN


1476
-
5837,pp51.

[J33].

Multimedia Courseware Design, ACE UK Journal, Vol. 10, 2003, ISSN


1476
-
5837, pp

20
-
21

[J34].

Data Mining and Knowledge Discovery, ACE UK Journal, Vol. 10, 2003,
ISSN


1476
-
5837, pp 15
-
19

[J35].

Some Basic Theory and Methods of Spatial
-
Temporal Information Statistics, Journal of
Beijing Normal University (Natural Science), 2003, June, Vol. 39, No.

3, 353
-
359.

[J36].

Advances of Model
-
based Diagnosis,

ACE UK Journal, Vol. 9, June, 2002, 21
-
25.
ISSN


1476
-
5837.

[J37].

Product Information Management Software for E
-
Commerce, ACE UK Journal, Vol. 9,
June, 2002, 49
-
51. ISSN


1476
-
5837.

[J38].

Improving the Reliability of
Knowledge Mining in Legacy Code by Utilizing
Cooperative Information, International Journal of Fuzzy Systems: Special Issue on Soft
Computing and Data Mining, Vol.3, No. 2, June,


2001, 390
-
399.


(INSPEC)

[J39].

Using Operator to Formalize Constraints in Abst
raction and

Refinement,

Journal of
Computer Science, Vol. 28, No. 9, 2001, 66
-
75.

[J40].

Engine Fault Diagnosis Using Multiple Neural Networks Based on Information
Synthesis,


Pattern Recognition and Artificial Intelligence, ISSN 1003
-
6059,

13(3):338
-
341, 2000.


(SCIE, EI)

[J41].

Errors Related to Substitution and Set Operations, Journal of Software, 10(2): 201
-
4,

1999.


ISSN 1000
-
9825
(INSPEC
, EI
)

[J42].

Conflict Resolution Based on Operator Fuzzy Logic,


Journal of Advanced Software
Research , 1998, 5(3), pp. 255
-
266.


(I
NSPEC)

[J43].

On Compatibility of Deletion Strategy,


Journal of Computers, 1998, 21(2):176
-
182.


(EI,
INSPEC)

3

[J44].

Paraconsistent Modal Logic,


Journal of Software, 1998,No.11, 833
-
838.


ISSN
1000
-
9825
(EI, INSPEC)

[J45].

Using ART
-
1 Neural Network to Solve Classification w
ith Weights,


Journal of
Changchun University of Science and Technology, 1998, Vol. 28, 124
-
128.



[J46].

Metallogenic Rules Extraction from Databases,


Journal of Changchun University of
Science and Technology, 1998, Vol. 28, 129
-
132.



[J47].

Measure Uncertainties to

Combine Databases,


Journal of Changchun University of
Science and Technology, 1998, Vol. 28, 133
-
137.



[J48].

Potential Gold Mineral Resources Study in Mohe
-
Luobei Area of Heilongjiang
Province,


Journal of Changchun University of Science and Technology, 1998
, Vol. 28,
61
-
66.



[J49].

Recognition of Scanned Planar Contour Map,


Journal of Changchun University of
Science and Technology, 1998, Vol. 28, 121
-
123.



[J50].

Symbol Array and Planar Geological Map,


Journal of Changchun University of Science
and Technology, 1998, V
ol. 28, 117
-
120.



[J51].

Uncertainty Calculating Methods in Operator Fuzzy Logics,


Journal of Software, July
1997, Vol.8, No.7, 525
-
534.

ISSN 1000
-
9825


(EI, CCA, INSPEC)

[J52].

Paradoxes on Preferential Implications,


Computer Research and Development, 1997,
No.2, 8
1
-
86.


(EI)

[J53].

TABLEAU Method for Operator Fuzzy Logic,


Jilin University Science Journal, 1997,
No.1, 39
-
42.


(AMS)

[J54].

Comparing Probabilistic Logic and Fuzzy Logic Based on Lattice
-
valued Logic,


Pattern
Recognition and Artificial Intelligence, 1997, 10(2): 9
9
-
105.


(EI)

[J55].

Lambda
(

)
-
TABLEAU Method for Operator Fuzzy Logic
(
Based on Belief
Considerations
)
,


Pattern Recognition and Artificial Intelligence, 10(4):293
-
300,
1997.


(EI)

[J56].

Tableau Calculus for Annotated Logic,

Journal of Software, 1996, Vol.7,
No.11,698
-
705.

ISSN 1000
-
9825
(EI)

[J57].

The Global Properties of Valid Formulas in Modal Logic K,


Journal of Computer
Science and Technology, 1996, 11(6), 615
-
621.


ISSN 1000
-
9000.

(EI, CCA, INSPEC,
AMS)

[J58].

Dialectic Operator Fuzzy Logic,

Science in China, Series E, 1996,

Vol. 39, No.1, 1
-
10.
ISSN 1006
-
9321
(SCI, SCIE, EI, AMS)

[J59].

Knowledge Increase Based on Common Sense Reasoning,


Social Science Front, 1996,
No.6, 30
-
32.



[J60].

Handling Uncertain Knowledge in Fuzzy Logic (Part 1), The Rationality of Fuzzy
Implications.


Journa
l of Computers, 1996, No.12, 923
-
930.


(CCA, INSPEC, EI)

[J61].

Handling Uncertain Knowledge in Fuzzy Logic (Part 2), Fuzzy Inference of Tableau
Style.


Journal of Computers, 1996, No.12, 931
-
940.


(CCA, INSPEC, EI)

[J62].

The Reducing Rules of Deducing Procedure in M
odal Logic D,



Jilin University Science
Journal, 1995, No.2, 39
-
43.


(AMS)

[J63].

An Automatic Theorem Proving System Based on Generalized Resolution,

Journal of
Software, 1995, No.7,425
-
428.

ISSN 1000
-
9825
(EI)

[J64].

The Operator Fuzzy Logics Based on the Semantics o
f Evidence,

Chinese Science
Bulletin, 1995, Vol. 40, No.1, 86
-
88.


ISSN 1001
-
6538
(SCI Citation)

[J65].

The Operator Fuzzy Logics Based on Belief Considerations,

Journal of Computers, 1995,
No.12, 881
-
885.



(CCA, INSPEC, SCI Citation, EI)


4


Xiaochun Cheng’s

Con
ference Papers

[C1].

M
echanical Theorem Proving based on Generalized Resolution,
D Liu Ed.:
New Advances
of Knowledge Engineering
,

Jilin University Press
,
1992
.

[C2].

Properties of
Provable

Modal Logic K Formulas,


Foundation Research Conference for Intelligent Comput
ers, Tsinghua University Press,

May
1994
.


[C3].

A Paraconsistent Non
-
monotonic Fuzzy Inference Engine,

PACES
-
95, Huang Shan, May, 1995

[C4].

Inductive TABLEAUX with Operator Unification for
Propositional Temporal Logic,

International Conference of Young Computer Sci
entists,
ICYCS
-
95, Beijing,
China,
July,
1995, 650
-
655.

[C5].

The Global Properties of Valid Formulas in Modal Logic K,
ANZIIS
-
95, Perth, Western
Australia, November, 1995, 123
-
127.
(EI, CCA, INSPEC, AMS)

[C6].

The Rationality and Decidability of Fuzzy Implications, P
roc. of the 14th

IJCAI, Montreal,
Canada, August, 1995, 1910
-
1915.
(CCA, INSPEC, AMS)

[C7].

Comparing Probabilistic Logic and Fuzzy Logic Based on Lattice
-
valued Logic, Chinese
National Conference of Young Computer Scientists, NCYCS'96, Nov., 1996
,

Zhejiang
Univ
ersity Press
.

[C8].

Generalized Double
-
Marked Modal Resolution in Modal Logic D and It's Implementation,


Chinese National Conference of Young Computer Scientists,


NCYCS'96, Nov., 1996,
339
-
344
,

Zhejiang University Press.


[C9].

A Fuzzy Logic with Fuzzy Connectives

and

Its Application in Fuzzy Control,

Conference of Young
Computer Scientists at Jilin Province, 1998.

[C10].

Conflict Resolution based on Operator Fuzzy Logic
,

Conference of Young
Computer
Scientists at Jilin Province, 1998.

[C11].

Knowledge Base Maintenance Using
Operator Fuzzy Logic
,

Conference of Young
Computer
Scientists at Jilin Province, 1998.

[C12].

On the Extension of the Capability of Reasoning with Inconsistency in Rule
-
based Deductive System,

Conference of Young
Computer
Scientists at Jilin Province, 1998.

[C13].

Ope
rator Fuzzy Logic based on Argumentation,

HICSS
-
31, Vol. 5, Modelling Technologies and Intelligent Systems Track, 215
-
222,
Hawaii, USA, January 6
-
9, 1998.


(ISTP, INSPEC, ACMD, EI)

[C14].

Maintenance of Knowledge Bases in Operator Fuzzy Logic,

Workshop on Recen
t Advances in Soft Computing,
Leicester,
UK, April, 1998

[C15].

A Semantic Approach to Select Best Explanation Dynamically in Abduction,

Proceedings of the 7th CACSCUK, Editors H. Hu & M.H. Wu, ISBN: 0 9533890 49,
Nottingham, UK, 22 September, 2001
,

pages 249
-
25
3
.

[C16].

A Survey on Diagnosis Research,

in Proceedings of the 7th CACSCUK, Editors H. Hu & M.H. Wu, ISBN: 0 9533890 49,
Nottingham, UK, 22 September, 2001
,
pages
223
-

228
.

[C17].

Abstraction and Refinement in Higher Order Logic,

in Proceedings of The14th Internation
al Conference on Theorem Proving in Higher Order
Logics, pages 201
-
216, at Edinburgh, Scotland, 3rd
-

6th Sep. 2001. Also in LNCS 2152,
pages 201
-
216.

(ACMD, AMS, INSPEC)

[C18].

Characterising Model
-
based Diagnosis,

in Proceedings of the 7th CACSCUK, Editors H
. Hu & M.H. Wu, ISBN: 0 9533890 49,
Nottingham, UK, 22 September, 2001
, pages 237
-
242
.

[C19].

Proofs as constraints for abstraction and refinement PTP
-
01,

Workshop Proof Transformation and Presentation and Proof Complexities, Siena, June
18
-
19, 2001, in connecti
on with IJCAR 2001.

[C20].

Spatial Representation & Reasoning based on Multi
-
sources Geo
-
information,

in Proceedings of the 7th CACSCUK, Editors H. Hu & M.H. Wu, ISBN: 0 9533890 49,
Nottingham, UK, 22 September, 2001
,
pages
135
-
139
.


5

[C21].

Survey on Abductive Reasoning
,

ACE
-
UK AGM

2001 at Manchester
, on 23rd of September 2001
.

[C22].

Using Operator to Formalise Constraints in Abstraction and Refinement,

2001 National Theoretical Computer Science Conference,
Fuzhou,
China, page 66
-
75.


[C23].

A Many
-
sorted Formalization for Uncer
tainty,

The CACSUK 2002 Conference, on 21st September, 2002, Manchester.

[C24].

Advances of Model Based Diagnosis,

ACEUK
AGM
2002
.

[C25].

Incorporate Logic and Function to Analyze Timing Constraints,

The CACSUK 2002 Conference, on 21st September, 2002, Manchester.

[C26].

Pr
edicting Dow Jones Index by Neural Network,

The CACSUK 2002 Conference, on 21st September, 2002, Manchester.,
pp137
-
142.

[C27].

Product Information Management Software for E
-
Commerce,

ACEUK
AGM
2002
.

[C28].

A General Model
-
Based Diagnosis,

25
th

International Conferen
ce on Information Technology Interfaces (ITI) 2003, ISSN
1330
-
1012, June 16
-
19, 2003
.

(ISTP, INSPEC)

[C29].

A Logic Framework with Algebraic Extension,

25
th

International Conference on Information Technology Interfaces (ITI) 2003, ISSN
1330
-
1012. June 16
-
19, 200
3.

(ISTP, INSPEC)

[C30].

A Policy
-
based Network Management System for IP VPN.

Proc. of the IEEE International Conference on Communication Technology (
ICCT 2003
):
1630~1633, Beijing University of Posts an
d Telecommunications Press (IEEE Catalog
Number: 03EX659), 9
-
11 April 2003, Beijing, China.

(ISTP, EI, INSPEC)

[C31].

A Safe Mobile Agent System for Distributed Intr
u
sion D
etection,


Proceedings of the 2nd IEEE International Conference on Machine Learning

and
C
ybernetics (ICMLC'03), Xi A
n, China, 2009~2014, 2003.
(ISTP, EI)

[C32].

Agent
-
Oriented Software Engineering to Develop Hybrid Intelligent Systems,

IEEE Cybernetics Intelligence
-

Challenges and Advances (CICA) 2003, Pages 136
-
141
,

17
September, 2003
.

[C33].

Analysis of

Modern Remote Education Platforms,

The Seventh Global Chinese Conference on Computers in Education, December 7
-
9, 2003,
URL:
http://gccce.nease.net/
, Nanjing, China
.

[C34].

Database Independent Mining of Rules,

CACSC2003

ISBN: 0 9533890 2 3, 20 September, 2003, Luton

[C35].

Energy Conserving Sensor Scheduling Scheme in Wireless Sensor Networks,

CACSC2003, ISBN: 0 9533890 2 3, 20 September, 2003, Luton

[C36].

Index Conditions of Lock Resolution Adopting Deletion Strategy,

CACSC2003

ISBN: 0 9533890 2 3, 20 September, 2003, Luton

[C37].

Mineral Resource Appraisal Based on Information Synthesis,

IEEE Cybernetics Intelligence
-

Challenges and Advances (CICA) 2003, pp118
-
123. 17
September, 2003.

[C38].

O
perator
F
uzzy
L
ogic

for Semantics of Evidence,


CACSC2003, ISBN: 0 9533890 2 3, 20 September, 2003, Luton

[C39].

Progress of Data Mining,

2003 Chinese Intelligent Automation Conference

(
CIAC
)
, December 15
-
17, 2003.
Hongkong Chinese University.

[C40].

Simplifying Structures of Bayesian Networks,

IEEE Cybernetic
s Intelligence
-

Challenges and Advances (CICA) 2003, Pages 130
-
135. 17
September, 2003.

[C41].

Teaching Modes and Supporting Platforms in Modern Distance Education,

CACSC2003 ISBN: 0 9533890 2 3, 20 September, 2003, Luton

[C42].

The Application of Knowledge Engineeri
ng and Software Engineering in E
-
Course Integration,


6

The Seventh Global Chinese Conference on Computers in Education, December 7
-
9, 2003,
URL:
http://gccce.nease.net/
, Nanjing, China
.

[C43].

The Educational Resource Managem
ent for Teaching at Basal Education

Systems
,

The Seventh Global Chinese Conference on Computers in Education, December 7
-
9, 2003,
URL:
http://gccce.nease.net/
, Nanjing, China
.

[C44].

Web Mining and Its Application
for Per
sonalized Services
in Distance Education,

The Seventh Global Chinese Conference on Computers in Education, December 7
-
9, 2003,
URL:
http://gccce.nease.net/
, Nanjing, China


[C45].

A Method of Computing Hitting Set in Model
-
based Diagnosis,

Chinese Sixth
N
ational Conference for Young Researchers
of Meter
Instrument

Association
, 2004
.

[C46].

A Mobile Agent Based Intrusion Detection System.

Proceedings of the 10th Annual Conference of Chinese Automation and Computing Society
in UK
(CACSUK 2004)
,
Liverpool,UK. September 2004. ISBN:0 9533890 6 5
,
Pages
131
-
136

[C47].

Actively Supply Personalized Educational Resources for El
e
mentary Schools,

Proceedings of the 10th Annual Conference of Chinese Automation and Computing Society
in UK (CACSUK 20
04). Live
r
pool, UK. September 2004. ISBN: 0 9533890 6 5, Pages
177
-
182.

[C48].

Agent
-
based Grid Platform for Active E
-
Learning,

Proceedings of the IEEE SMC UK
-
RI 3rd Workshop on Intelligent Cybernetic
Systems(ICS'04), pp 144
-
148, Londonderry, Northern Ireland, U
K. Sept 2004.

[C49].

An Analogy
-
based Memory Model,

Proceedings of the IEEE SMC UK RI 3rd Workshop on Intelligent Cybernetic Systems

(ICS'04), pp 26
-
30. Londonderry, Northern Ireland, UK. Sept 2004.

[C50].

Analyzing FMRI Data Based on Multi
-
Resolution Factorial Kriging
,

Proceedings of 2004 International Conference on Machine Learning and Cybernetics, V
ol.

1
-
7: pp4009
-
4014.. ISBN:

0
-
7803
-
8403
-
2.

Shanghai, China.

(ISTP
, EI
)

[C51].

Design and Practice of Multimedia Computer Aided Instruction Courseware,

Hawaii International Con
ference on Education

(HICE)
, Honolulu

Hawaii

January 3
-
6,

2004
,
pp3969
-
3976


[C52].

Formal Analysis for Dynamic Planning of Intelligent Agents,

Procee
d
ings of the IEEE SMC UK
-
RI 3rd Workshop on Intelligent Cybernetic
Sy
s
tems(ICS'04), pp 172
-
177. Londonderry, Nor
thern Ireland, UK. Sept 2004.

[C53].

Functional Magnetic Resonance Imaging Based on Wiener Filter over Wavelet Domain,
IEEE SMC 2004, Tudelft, ISBN: 0
-
7803
-
8566
-
7, pp3208
-
3212.

(ISTP)

[C54].

Hierarchical Model
-
based Diagnosis,

Second International Conference on Knowl
edge Economy and Development of Science
and Technology, Beijing, China
,

September 17
-
19, 2004. Knowledge Economy Meets
Science and Technology, Cun
-
Gen Cao, Yue
-
fei Sui (Ed
s), Tsinghua University Press,
Pages 161
-
165.

[C55].

Hierarchical Spatial Reasoning,

Proce
edings of the 10th Annual Conference of Chinese Automation and Computing Society
in UK (CACSUK 2004)
,

Live
r
pool, UK. September 2004. ISBN: 0 9533890 6 5,
pp233
-
238
.

[C56].

Knowledge Management for E
-
learning System
,


Procee
d
ings of the 10th Annual Conference of
Chinese Automation and Computing Society
in UK (CACSUK 2004). Live
r
pool, UK. September 2004. ISBN: 0 9533890 6 5, Pages
193
-
198.

[C57].

Model
-
based Diagnosis Using Replacement,

Proceedings of the 10th Annual Conference of Chinese Automation and Computing Society

in UK (CACSUK 2004). Live
r
pool, UK. September 2004. ISBN: 0 9533890 6 5,
pp239
-
244.

7

[C58].

Model
-
Based Diagnosis with Stratification,

Chinese
4th Rough Set and Soft Computing Conference, 2004.

[C59].

Optimization for Network Management,

Proceedings of the 10th Ann
ual Conference of Chinese Automation and Computing Society
in UK (CACSUK 2004). Live
r
pool, UK. September 2004. ISBN: 0 9533890 6 5

[C60].

Research of Independent Component Analysis,

IEEE SMC 2004, Tudelft, ISBN: 0
-
7803
-
8566
-
7, pp4804
-
4809.

[C61].

Semantic Organization
to Enhance Active Learning Based on Distributed Multimedia
Educ
a
tional Resources,

IEEE International Symposium on Consumer Electro
n
ics, 2004, ISBN 0
-
7803
-
8527
-
6, pp
436
-
441. September 2004. Reading, UK.

(ISTP, INSPEC
, EI
)

[C62].

The
P
ersonalization
R
esearch
for

a Chinese
E
ducation
R
esource
S
earch
E
ngine,

Second Chinese National Computational Linguistic Conference, Beijing
,

2004
.


[C63].

Verifying Cryptographic Protocols.

Proceedings of the IEEE SMC UK
-
RI 3rd Workshop on Intelligent Cybernetic Systems
(ICS'04), pp 52
-
57. Londonderry, Northern Ireland, UK
,

September 2004.

[C64].

A Mobile Agent Model for Agent Based Intrusion Detection System,

Proceedings of the IEEE SMC UK
-
RI Chapter Conference 2005 on Applied Cybernetics
September 7
-
8, 2005, City University, London, United K
ingdom, ISSN 1744
-
9189, 93
-
99.

[C65].

A Mobile Agent Based Spam Filter System,

2005 International Conference on Computational Intelligence and Security,

15


19 December
,

2005, Xi

A
n, China, LN
AI 3801
, Springer
,

422
-
427
.

(SCI
, ISTP
, SCIE
,
EI
)

[C66].

A Personalized Sea
rch Engine For Chinese Educational Resources,

Proceedings of the IEEE SMC UK
-
RI Chapter Conference on Applied Cybernetics
,

147
-
152, September 7
-
8, 2005
.

City University, London, UK
,

ISSN 1744
-
9189

[C67].

An Agent Based Education Resource Purvey System,

2005 Int
ernational Conference on Computational Intelligence and Security, Xi

A
n,

15
-
19 December 2005, LN
AI 3801
, Springer
,

381
-
386
.
(SCI
, ISTP
, SCIE
, EI
)

[C68].

Formal Verification of Merchant Registration Phase of SET Protocol,

The 11th Annual Conference of Chinese
Automat
ion and Computing (CACSUK2005),
Sheffield
, September 2005
.

[C69].

Knowledge Based Approach for Mechanically Verifying Security Protocols.

The Nineteenth International Joint Conference on Artifi
cial Intelligence (IJCAI 2005).
Edinburgh, Scotland, UK, 30 J
uly
-

5 August 2005. ISBN 0
-
938075
-
93
-
4, 1572
-
1573

[C70].

Proving Secure Properties of Cryptographic Protocols

with Knowledge based Approach
.

The 24th IEEE International Performance Computing and Communications Conference
(IPCCC 2005)
,

Phoenix, Arizona, USA, 7
-
9 April 2005, ISBN: 0
-
7803
-
8991
-
3, pages: 3
-
9
.
(ISTP, INSPEC
, EI
)

[C71].

Secrecy Proofs of SET Purchase Request Phase,

2005 International Conference on Computational Intelligence and Security,
pp99
-
104,
15


19 December 2005, Xi

A
n, China
,

Yuping Wang, Yiu
-
ming
Cheung, Hailin Liu (Eds.),
Advances in Computational Intelligence and Security, Xidian University Press. ISBN
7
-
5606
-
1607
-
0.


[C72].

Verifying Cardholder Registration Phase in SET Protocol
,

Proceedings of the IEEE SMC
UK
-
RI Chapter Conference
o
n Applied Cyberneti
cs
,

September 7
-
8, 2005
,

City University
,

London, United Kingdom, ISSN 1744
-
9189
,

pp88
-
93
.

[C73].

Programming of Information Instructional Design Platform for Physics,

International
Conference on E
-
learning and Games.

Lecture Notes in Computer Science,
Publisher:

Springer Berlin, ISSN:

0302
-
9743, Volume 3942 / 2006, Title:

Proceedings of
First International Conference on Technologies for E
-
Learning and Digital Entertainment:,
Edutainment 2006, Hangzhou, China, April 16
-
19, 2006.
171
-
177

(SCI)

8

[C74].

A kind of instruction
-
learning model division method based on information technology
,
International Conference on E
-
learning and Games (

edutainment 06

).

[C75].

Using Instruction Strategy for a Web
-
based Intelligent Tutoring System
,
International
Conference on E
-
learning and Games (


edutainment 06

).

[C76].

A D
istance Education System Based o
n Web Services
,
International Conference on
E
-
learning and Games.

Lecture Notes in Computer Science, Publisher:

Springer Berlin /
Heidelberg, ISSN:

0302
-
9743, Volume 3942 / 2006, Title:

Proceedings of
First
International Conference on Technologies for E
-
Learning and Digital Entertainment
,

Edutainment 2006, Hangzhou, China, April 16
-
19, 2006.

132
-
139

(SCI)

[C77].

The Development of a Customized E
-

Learning System
,
International Conference on
E
-
learning and Ga
mes (

edutainment 06

).

[C78].

Verifying and Fixing Password Authentication Protocol,

International Workshop on Self
-
Assembling
Wireless Networks

,
accepted.

[C79].

A Comparative Study on Text Clustering Methods, The Second
International Conference on
Advanced Data Mining and Applications
,
LNCS,
accepted.

[C80].

An Mobile Agent Transfer Method for Protecting the Integrity of Mobile Agents, IEEE SMC UK,

accepted.

[C81].

A New Method of Bridge Target Detection on ASAR Imagery, IEEE SMC UK,

accepted.

[C82].

Syntax, Semantics and Type Theory of A Security Protocol Verification Framework, IEEE SMC UK,

accepted.