Contents

Nesting Predicate Equation Systems and Weak Bisimulations LIN Hui-min 1999,10(11):1121-1126 [Abstract(3558)]  [View PDF(4286)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(3257)]  [View PDF(4585)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(3688)]  [View PDF(4095)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(3528)]  [View PDF(4190)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(3561)]  [View PDF(4896)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(4113)]  [View PDF(4542)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(3309)]  [View PDF(4458)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(4138)]  [View PDF(4751)433.30 K]

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

A Tree-like Knowledge Base Revision Algorithm MA Shao-han and TAO Xue-hong 1999,10(11):1174-1179 [Abstract(3668)]  [View PDF(4388)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(3776)]  [View PDF(4767)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(3755)]  [View PDF(4434)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(3401)]  [View PDF(4369)220.16 K]

Processor Selection Policy in Heuristic Task Scheduling CHEN Hua-ping and HUANG Liu-sheng 1999,10(11):1194-1198 [Abstract(3709)]  [View PDF(4271)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(3769)]  [View PDF(4570)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(12096)]  [View PDF(7206)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(4130)]  [View PDF(4548)306.73 K]

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