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(3762)]  [View PDF(3976)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(3698)]  [View PDF(3826)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(3135)]  [View PDF(4289)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(3835)]  [View PDF(4449)402.26 K]

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

Evolving Information Filtering Method TIAN Fan-jiang,LI Cong-rong and WANG Ding-xing 2000,11(3):328-333 [Abstract(3545)]  [View PDF(4099)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(3076)]  [View PDF(3851)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(3308)]  [View PDF(3770)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(3735)]  [View PDF(4485)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(3646)]  [View PDF(4291)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(3946)]  [View PDF(4127)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(3576)]  [View PDF(3802)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(3937)]  [View PDF(4699)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(3209)]  [View PDF(4421)541.96 K]

Implementation for Distributed Ada Language System ZHANG Bing,LI Gan-sheng and WANG Hua-min 2000,11(3):393-397 [Abstract(3691)]  [View PDF(4099)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(3780)]  [View PDF(4013)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(3515)]  [View PDF(3873)562.04 K]

Formalizing Architectural Styles with XYZ/E JIAO Wen-pin and SHI Zhong-zhi 2000,11(3):410-415 [Abstract(3029)]  [View PDF(3865)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(3873)]  [View PDF(5047)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(3504)]  [View PDF(3773)327.04 K]