Contents

Nesting Predicate Equation Systems and Weak Bisimulations LIN Hui-min 1999,10(11):1121-1126 [Abstract(3540)]  [View PDF(4163)355.31 K]

The Priority List Based Algorithm for Solving Engineering Constraints in CAD System LIU Xiao-ping,HE Tao,HUANG Yong-hong,TANG Wei-qing and LIU Shen-quan 1999,10(11):1127-1131 [Abstract(3233)]  [View PDF(4469)404.09 K]

Research on Inheritance of Software Agent FAN Xiao-cong,XU Dian-xiang,HOU Jian-min and ZHENG Guo-liang 1999,10(11):1132-1137 [Abstract(3638)]  [View PDF(3937)493.88 K]

A Three-stage Model of Incremental Maintenance of Multi-materialized Views WANG Teng-jiao,WANG Hai-yang,HONG Xiao-guang and DONG Ji-run 1999,10(11):1138-1141 [Abstract(3491)]  [View PDF(4059)242.52 K]

Web Document Presending Based on User Behavior Patterns ZHU Pei-dong,LU Xi-Cheng and ZHOU Xing-ming 1999,10(11):1142-1147 [Abstract(3541)]  [View PDF(4785)437.16 K]

A Web-based Workflow Management System SHI Mei-lin,YANG Guang-xin,XIANG Yong and WU Shang-guang 1999,10(11):1148-1155 [Abstract(4078)]  [View PDF(4403)597.42 K]

Static Task Scheduling for Incompletely Interconnected Homogeneous Systems ZHANG Jun,ZHANG Li-sheng and HAN Cheng-de 1999,10(11):1156-1162 [Abstract(3291)]  [View PDF(4330)515.76 K]

The Formal Specification and Property Verification of Interactive User Interface ZHU Jun,ZHANG Gao,HUA Qing-yi and DAI Guo-zhong 1999,10(11):1163-1168 [Abstract(4115)]  [View PDF(4632)433.30 K]

Abstraction Events' Complete Logical-time DONG Hong and SUN Yong-qiang 1999,10(11):1169-1173 [Abstract(3474)]  [View PDF(4337)347.22 K]

A Tree-like Knowledge Base Revision Algorithm MA Shao-han and TAO Xue-hong 1999,10(11):1174-1179 [Abstract(3619)]  [View PDF(4266)403.70 K]

Design Multilayer Feed-forward Networks Based on Immune Evolutionary Programming CAO Xian-bin,LIU Ke-sheng and WANG Xu-fa 1999,10(11):1180-1184 [Abstract(3728)]  [View PDF(4617)338.60 K]

A Parallel Test Generation Algorithm Based on Fault Partitioning ZENG Zhi-de and ZENG Xian-jun 1999,10(11):1185-1190 [Abstract(3727)]  [View PDF(4295)415.56 K]

A Web-based Network Intelligent Management Model and Its Implemen LI Mu-jin,LI Zhe and WANG Guang-xing 1999,10(11):1191-1193 [Abstract(3373)]  [View PDF(4262)220.16 K]

Processor Selection Policy in Heuristic Task Scheduling CHEN Hua-ping and HUANG Liu-sheng 1999,10(11):1194-1198 [Abstract(3680)]  [View PDF(4131)376.80 K]

Procedure of Intersection and Trimming for Composite Triangular Bézier Surface LI Ji-jun,KE Ying-lin and CHENG Yao-dong 1999,10(11):1199-1205 [Abstract(3732)]  [View PDF(4435)452.60 K]

An Approach for Attribute Reduction and Rule Generation Based on Rough Set Theory CHANG Li-yun,WANG Guo-yin and WU Yu 1999,10(11):1206-1211 [Abstract(12040)]  [View PDF(7041)392.66 K]

Merging-based Syllable Detection Automaton in Continuous Chinese Speech Recognition ZHANG Ji-yong,ZHENG Fang,DU Shu,SONG Zhan-jiang and XU Ming-xing 1999,10(11):1212-1215 [Abstract(4103)]  [View PDF(4405)306.73 K]

A Robust Method for Unknown Structure Form Analysis LI Xing-yuan and GAO Wen 1999,10(11):1216-1224 [Abstract(3444)]  [View PDF(4434)617.12 K]

A Rule Learning Algorithm on Continuous Attributes Space QUAN Guang-ri,LIU Wen-yuan,YE Feng and CHEN Xiao-peng 1999,10(11):1225-1232 [Abstract(3576)]  [View PDF(4607)510.04 K]