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(3846)]  [View PDF(4473)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(3736)]  [View PDF(4349)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(3174)]  [View PDF(4864)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(3892)]  [View PDF(4962)402.26 K]

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

Evolving Information Filtering Method TIAN Fan-jiang,LI Cong-rong and WANG Ding-xing 2000,11(3):328-333 [Abstract(3593)]  [View PDF(4610)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(3138)]  [View PDF(4392)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(3343)]  [View PDF(4267)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(3791)]  [View PDF(4983)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(3703)]  [View PDF(4804)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(4008)]  [View PDF(4655)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(3653)]  [View PDF(4332)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(4021)]  [View PDF(5248)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(3257)]  [View PDF(4996)541.96 K]

Implementation for Distributed Ada Language System ZHANG Bing,LI Gan-sheng and WANG Hua-min 2000,11(3):393-397 [Abstract(3753)]  [View PDF(4615)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(3879)]  [View PDF(4558)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(3561)]  [View PDF(4417)562.04 K]

Formalizing Architectural Styles with XYZ/E JIAO Wen-pin and SHI Zhong-zhi 2000,11(3):410-415 [Abstract(3098)]  [View PDF(4418)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(3961)]  [View PDF(5554)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(3563)]  [View PDF(4327)327.04 K]