I would like to express my sincere thanks to my thesis advisor, Dr. Albert M. K. Cheng, for his guidance, extensive support and encouragement during the development of this work. I am also grateful to the other members of my thesis
|
2489
|
Induction of Decision Trees
– Quinlan
- 1986
|
|
2172
|
Optimization by simulated annealing
– Kirkpatrick, Gelatt, et al.
- 1983
|
|
996
|
Automatic verification of finite-state concurrent systems using temporal logic specifications
– Clarke, Emerson, et al.
- 1986
|
|
233
|
A stubborn attack on state explosion
– Valmari
- 1991
|
|
108
|
L.: OPS5 User's Manual
– Forgy
- 1981
|
|
65
|
Minimal model generation
– Bouajjani, Fernandez, et al.
|
|
51
|
Artificial intelligence
– Rich, Knight
- 1991
|
|
49
|
Simulated Annealing for VLSI Design
– Wong, Leong, et al.
- 1988
|
|
47
|
TREAT: A new and efficient match algorithm for AI production systems
– Miranker
- 1990
|
|
33
|
Convergence and finite-time behavior of simulated annealing
– Mitra, Romeo, et al.
- 1986
|
|
23
|
Implementation of multiple rule firing production systems on hypercube
– Kuo, Moldovan
- 1991
|
|
15
|
Automatic Refinement of Expert System Knowledge Bases
– Ginsberg
- 1988
|
|
13
|
Boolean Functions with Engineering Applications and Computer Programs
– Schneeweiss
- 1989
|
|
10
|
Analysis of real-time rule-based system with behavioral constraint assertions specified in Estella
– Cheng, Browne, et al.
- 1993
|
|
9
|
Formal analysis of real-time equational rule-based systems
– Mok
- 1990
|
|
8
|
MRL: The language
– Wang
- 1973
|
|
8
|
Mapping rule-based systems onto multicomputers using simulated annealing
– Xu, Hwang
- 1991
|
|
7
|
Parallel Execution of Real-Time Rule-Based Systems
– Cheng
- 1993
|
|
6
|
Computer-Aided Design of Real-Time Rule-Based Decision Systems
– Browne, Cheng, et al.
- 1988
|
|
5
|
Fast static analysis of real-time rule-based systems to verify their fixed point convergence
– Cheng, Wang
- 1990
|
|
5
|
Analysis of minimization algorithms for multiple-valued programmable logic arrays
– Tirumalai, Butler
- 1988
|
|
4
|
The isa expert system: A prototype system for failure diagnosis on the space station
– Marsh
- 1988
|
|
4
|
MRL: A Real-Time Rule-Based Production System
– Wang, Mok, et al.
- 1990
|
|
3
|
Efficient response time bound analysis of real-time rulebased systems
– Cheng, Chen
- 1992
|
|
3
|
If it works, is it good
– Eliot
- 1992
|
|
3
|
Fast" is not "real-time": Designing effective realtime AI system
– O'Reilly, Cromatry
- 1985
|
|
2
|
Analysis and Synthesis of Real-Time Rule-Based Decision Systems
– Cheng
- 1990
|
|
2
|
Synthesis and optimization of programs by means of pfunctions
– Thayse
- 1982
|
|
2
|
The analysis of MRL: A real time rule-based system
– Wang, Mok
- 1993
|
|
1
|
Rule based programming for real-time knowledge-based system development
– Coyle, Tanik, et al.
- 1993
|
|
1
|
Distributed Expert System for Space Shuttle Flight Control
– Helly
- 1984
|
|
1
|
iPSC/860. User's guide, Intel Supercomputer Systems Division
– iPSC2
- 1991
|
|
1
|
Optimal solution of synthesis problem of real-time equational rule-based system. To become master's thesis
– Lo
- 1993
|
|
1
|
Tools for optimization of EQL programs: an implementation
– Zupan, Cheng
- 1993
|
|
