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(4534)]  [View PDF(5617)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(4464)]  [View PDF(5384)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(3877)]  [View PDF(5864)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(4562)]  [View PDF(5981)402.26 K]

Agents:Present Status and Trends LIU Da-you,YANG Kun and CHEN Jian-zhong 2000,11(3):315-321 [Abstract(11223)]  [View PDF(8825)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(4080)]  [View PDF(5336)744.40 K]

Evolving Information Filtering Method TIAN Fan-jiang,LI Cong-rong and WANG Ding-xing 2000,11(3):328-333 [Abstract(4184)]  [View PDF(5650)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(3793)]  [View PDF(5360)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(3979)]  [View PDF(5403)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(4367)]  [View PDF(6025)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(4290)]  [View PDF(5865)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(4749)]  [View PDF(5635)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(4163)]  [View PDF(5573)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(4655)]  [View PDF(6370)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(3904)]  [View PDF(6008)541.96 K]

Implementation for Distributed Ada Language System ZHANG Bing,LI Gan-sheng and WANG Hua-min 2000,11(3):393-397 [Abstract(4317)]  [View PDF(5667)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(4590)]  [View PDF(5689)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(4294)]  [View PDF(5455)562.04 K]

Formalizing Architectural Styles with XYZ/E JIAO Wen-pin and SHI Zhong-zhi 2000,11(3):410-415 [Abstract(3688)]  [View PDF(5488)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(4712)]  [View PDF(6549)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(4319)]  [View PDF(5344)327.04 K]