Contents

Nesting Predicate Equation Systems and Weak Bisimulations LIN Hui-min 1999,10(11):1121-1126 [Abstract(4178)]  [View PDF(5191)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(3889)]  [View PDF(5473)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(4437)]  [View PDF(5024)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(4218)]  [View PDF(5160)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(4137)]  [View PDF(5843)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(4723)]  [View PDF(5479)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(3961)]  [View PDF(5404)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(4900)]  [View PDF(5722)433.30 K]

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

A Tree-like Knowledge Base Revision Algorithm MA Shao-han and TAO Xue-hong 1999,10(11):1174-1179 [Abstract(4313)]  [View PDF(5312)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(4501)]  [View PDF(5805)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(4363)]  [View PDF(5337)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(4080)]  [View PDF(5248)220.16 K]

Processor Selection Policy in Heuristic Task Scheduling CHEN Hua-ping and HUANG Liu-sheng 1999,10(11):1194-1198 [Abstract(4351)]  [View PDF(5230)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(4541)]  [View PDF(5450)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(12965)]  [View PDF(8208)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(4883)]  [View PDF(5461)306.73 K]

A Robust Method for Unknown Structure Form Analysis LI Xing-yuan and GAO Wen 1999,10(11):1216-1224 [Abstract(4122)]  [View PDF(5560)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(4235)]  [View PDF(5688)510.04 K]