Volume 10,Issue 11,1999 Table of Contents

Other Issues:  
  
Contents

  • Nesting Predicate Equation Systems and Weak Bisimulations
  • LIN Hui-min
  • 1999,10(11):1121-1126 [Abstract(2293)]  [View PDF(2170)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(1908)]  [View PDF(2383)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(2315)]  [View PDF(2038)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(2314)]  [View PDF(2091)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(2275)]  [View PDF(2614)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(2725)]  [View PDF(2234)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(2156)]  [View PDF(2369)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(2706)]  [View PDF(2386)433.30 K]
  • Abstraction Events' Complete Logical-time
  • DONG Hong and SUN Yong-qiang
  • 1999,10(11):1169-1173 [Abstract(2267)]  [View PDF(2405)347.22 K]
  • A Tree-like Knowledge Base Revision Algorithm
  • MA Shao-han and TAO Xue-hong
  • 1999,10(11):1174-1179 [Abstract(2369)]  [View PDF(2181)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(2473)]  [View PDF(2609)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(2438)]  [View PDF(2285)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(2185)]  [View PDF(2185)220.16 K]
  • Processor Selection Policy in Heuristic Task Scheduling
  • CHEN Hua-ping and HUANG Liu-sheng
  • 1999,10(11):1194-1198 [Abstract(2433)]  [View PDF(2178)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(2463)]  [View PDF(2460)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(7163)]  [View PDF(3572)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(2691)]  [View PDF(2281)306.73 K]
  • A Robust Method for Unknown Structure Form Analysis
  • LI Xing-yuan and GAO Wen
  • 1999,10(11):1216-1224 [Abstract(2308)]  [View PDF(2228)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(2205)]  [View PDF(2540)510.04 K]