Volume 11,Issue 3,2000 Table of Contents

Other Issues:  
  
Contents

  • Formalization and Verification of Pointers in the Temporal Logic Language XYZ/E Programs
  • LI Guang-yuan and TANG Zhi-song
  • 2000,11(3):285-292 [Abstract(2673)]  [View PDF(2578)416.08 K]
  • An Argumentation-Based Framework for Extended Disjunctive Logic Programs
  • WANG Ke-wen,ZHOU Li-zhu and CHEN Huo-wang
  • 2000,11(3):293-299 [Abstract(2621)]  [View PDF(2430)422.43 K]
  • On Liveness and Safeness for Weighted Extended Free Choice Nets
  • ZHEN Qiang and LU Wei-ming
  • 2000,11(3):300-307 [Abstract(2161)]  [View PDF(2835)470.24 K]
  • Study of Automatic Abstracting Based on Corpus and Hierarchical Dictionary
  • SONG Jin and ZHAO Dong-yan
  • 2000,11(3):308-314 [Abstract(2807)]  [View PDF(3065)402.26 K]
  • Agents:Present Status and Trends
  • LIU Da-you,YANG Kun and CHEN Jian-zhong
  • 2000,11(3):315-321 [Abstract(7174)]  [View PDF(4746)555.47 K]
  • Modeling Hairs with Curly Volumetric Textures
  • ZHANG Xiao-peng,CHEN Yan-yun and WU En-hua
  • 2000,11(3):322-327 [Abstract(2416)]  [View PDF(2487)744.40 K]
  • Evolving Information Filtering Method
  • TIAN Fan-jiang,LI Cong-rong and WANG Ding-xing
  • 2000,11(3):328-333 [Abstract(2428)]  [View PDF(2721)382.83 K]
  • Region Coverage Method in Dataflow Analysis
  • HU Shi-liang,ZANG Bin-yu,LING Bing and ZHU Chuan-qi
  • 2000,11(3):334-341 [Abstract(2054)]  [View PDF(2455)480.63 K]
  • Strategy-Selection Rules for Developing Conventions in Multi-Agent System
  • WANG Yi-chuan and SHI Chun-yi
  • 2000,11(3):342-345 [Abstract(2326)]  [View PDF(2416)286.00 K]
  • Logical Verification of Secure Electronic Transactions Protocol
  • CHEN Qing-feng,WANG Ju,BAI Shuo,ZHANG Shi-chao and SUI Li-ying
  • 2000,11(3):346-362 [Abstract(2621)]  [View PDF(2998)850.72 K]
  • Research on Whole Tree's Movement and Tree's Inner Wind Field
  • FENG Jin-hui,YAN Tao,CHEN Yan-yun and WU En-hua
  • 2000,11(3):363-367 [Abstract(2555)]  [View PDF(2914)809.75 K]
  • A Computer Integration System for Autonomous Intelligent Robot with Self-Organization Structure
  • ZHU Miao-liang,ZHANG Xin-hui,WANG Xun-yu and TANG Wen-bin
  • 2000,11(3):368-371 [Abstract(2839)]  [View PDF(2661)297.26 K]
  • Automatic Human Face Recognition Based on Eigencurves
  • ZHANG Gao-qing,WANG Shen-kang and YE Mao-dong
  • 2000,11(3):372-378 [Abstract(2587)]  [View PDF(2399)2.62 M]
  • The ICM Algorithm for Multi-Level Threshold Selection by Maximum Entropy Criterion
  • LUO Xi-ping and TIAN Jie
  • 2000,11(3):379-385 [Abstract(2763)]  [View PDF(3174)1.52 M]
  • Analysis of the Efficiency of Parallel Hash-Join Algorithms Based on Shared-Nothing
  • LI Qing-hua,SUI Hai-yan and DENG Chong
  • 2000,11(3):386-392 [Abstract(2126)]  [View PDF(2946)541.96 K]
  • Implementation for Distributed Ada Language System
  • ZHANG Bing,LI Gan-sheng and WANG Hua-min
  • 2000,11(3):393-397 [Abstract(2740)]  [View PDF(2696)350.90 K]
  • Parallel Computing:An Effective Method for Improving the Efficiency of Solving SAT Problems
  • JIN Ren-chao and JIN Ren-chao
  • 2000,11(3):398-400 [Abstract(2626)]  [View PDF(2534)531.10 K]
  • A Novel Register File Structure Supporting for Software Pipelining of Nested Loops
  • RONG Hong-bo and TANG Zhi-zhong
  • 2000,11(3):401-409 [Abstract(2455)]  [View PDF(2466)562.04 K]
  • Formalizing Architectural Styles with XYZ/E
  • JIAO Wen-pin and SHI Zhong-zhi
  • 2000,11(3):410-415 [Abstract(2023)]  [View PDF(2447)359.28 K]
  • A Multigroup Parallel Genetic Algorithm Based on Simulated Annealing Method
  • WU Hao-yang,CHANG Bing-guo,ZHU Chang-chun and LIU Jun-hua
  • 2000,11(3):416-420 [Abstract(2691)]  [View PDF(3222)366.93 K]
  • Research and Implementation of Communication Component for Group Decision Support System
  • GUO Chao-zhen and KANG Yan-dong
  • 2000,11(3):421-426 [Abstract(2254)]  [View PDF(2475)327.04 K]