Contents

Nesting Predicate Equation Systems and Weak Bisimulations LIN Hui-min 1999,10(11):1121-1126 [Abstract(3491)]  [View PDF(3643)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(3190)]  [View PDF(3966)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(3584)]  [View PDF(3464)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(3413)]  [View PDF(3595)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(3483)]  [View PDF(4261)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(4026)]  [View PDF(3922)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(3243)]  [View PDF(3856)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(4059)]  [View PDF(4079)433.30 K]

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

A Tree-like Knowledge Base Revision Algorithm MA Shao-han and TAO Xue-hong 1999,10(11):1174-1179 [Abstract(3538)]  [View PDF(3734)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(3683)]  [View PDF(4116)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(3670)]  [View PDF(3783)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(3307)]  [View PDF(3726)220.16 K]

Processor Selection Policy in Heuristic Task Scheduling CHEN Hua-ping and HUANG Liu-sheng 1999,10(11):1194-1198 [Abstract(3598)]  [View PDF(3604)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(3669)]  [View PDF(3946)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(11944)]  [View PDF(6412)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(4019)]  [View PDF(3871)306.73 K]

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