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(2404)]  [View PDF(2265)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(2062)]  [View PDF(2462)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(2458)]  [View PDF(2116)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(2418)]  [View PDF(2172)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(2439)]  [View PDF(2707)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(2870)]  [View PDF(2337)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(2276)]  [View PDF(2457)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(2825)]  [View PDF(2481)433.30 K]
  • Abstraction Events' Complete Logical-time
  • DONG Hong and SUN Yong-qiang
  • 1999,10(11):1169-1173 [Abstract(2385)]  [View PDF(2472)347.22 K]
  • A Tree-like Knowledge Base Revision Algorithm
  • MA Shao-han and TAO Xue-hong
  • 1999,10(11):1174-1179 [Abstract(2504)]  [View PDF(2244)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(2606)]  [View PDF(2688)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(2566)]  [View PDF(2360)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(2296)]  [View PDF(2257)220.16 K]
  • Processor Selection Policy in Heuristic Task Scheduling
  • CHEN Hua-ping and HUANG Liu-sheng
  • 1999,10(11):1194-1198 [Abstract(2548)]  [View PDF(2250)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(2584)]  [View PDF(2544)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(9496)]  [View PDF(3715)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(2836)]  [View PDF(2373)306.73 K]
  • A Robust Method for Unknown Structure Form Analysis
  • LI Xing-yuan and GAO Wen
  • 1999,10(11):1216-1224 [Abstract(2430)]  [View PDF(2314)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(2419)]  [View PDF(2619)510.04 K]