Contents

A Procedural Semantics for Disjunctive Closed World Assumption WANG Ke wen,ZHOU Li zhu and FENG Jian hua 2001,12(9):1265-1270 [Abstract(4451)]  [View PDF(5159)352.12 K]

Automatic Parsing of News Video Using Multimodal Analysis WANG Wei qiang and GAO Wen 2001,12(9):1271-1278 [Abstract(4123)]  [View PDF(5586)719.32 K]

Operational Semantics for Functional Logic Languages MOHAMED Hamada 2001,12(9):1279-1286 [Abstract(4051)]  [View PDF(5427)449.98 K]

Embedded Image Coding Based on Hierarchical Discrete Cosine Transform ZHAO De bin,ZHANG Da peng and GAO Wen 2001,12(9):1287-1294 [Abstract(4398)]  [View PDF(5509)1.13 M]

Composition and Interactive Computation of Object Systems QIAN Jun,HUANG Tao and FENG Yu lin 2001,12(9):1295-1303 [Abstract(3901)]  [View PDF(5384)1.17 M]

A Novel Secret Key Watermarking System ZHONG Hua,JIAO Li cheng and LIU Fang 2001,12(9):1304-1311 [Abstract(4503)]  [View PDF(5544)485.10 K]

Liveness and Boundedness of Extended Strong Asymmetric Choice Nets JIAO Li and LU Wei ming 2001,12(9):1312-1317 [Abstract(4337)]  [View PDF(5128)395.14 K]

A New Approach for the Analysis of Electronic Commerce Protocols ZHOU Dian cui,QING Si han and ZHOU Zhan fei 2001,12(9):1318-1328 [Abstract(4070)]  [View PDF(5589)588.52 K]

Research and Implementation of the Active Rules in ORDBMS LI Hong yan,LI Zhan huai and TANG Shi wei 2001,12(9):1329-1335 [Abstract(3991)]  [View PDF(5334)505.75 K]

Content-Based Chinese Antique Books Retrieval Through Visual Similarity Criteria SHI Bai le,ZHANG Liang,WANG Yong and CHEN Zhi feng 2001,12(9):1336-1342 [Abstract(4480)]  [View PDF(5558)495.07 K]

Threaded Binary Sorted Hash Trees Solution Scheme for Certificate Revocation Problem WANG Shang ping,ZHANG Ya ling and WANG Yu min 2001,12(9):1343-1350 [Abstract(4660)]  [View PDF(5643)560.00 K]

Building and Assembling Reusable Components Based on Software Architecture ZHANG Shi kun,ZHANG Wen juan,CHANG Xin,WANG Li fu and YANG Fu qing 2001,12(9):1351-1359 [Abstract(8741)]  [View PDF(7184)586.26 K]

A Unified Spatio-Temporal Data Model Based on State and Change ZHENG Kou gen,TAN Shi yu and PAN Yun he 2001,12(9):1360-1365 [Abstract(4681)]  [View PDF(6243)425.58 K]

A Multi-Agent Belief Logic and Its Generalization with Probability CAO Zi ning,DONG Hong bin and SHI Chun yi 2001,12(9):1366-1374 [Abstract(4331)]  [View PDF(5392)558.30 K]

Design and Implementation of a Distributed Cooperative Intrusion Detection System DUAN Hai xin and WU Jian ping 2001,12(9):1375-1379 [Abstract(4143)]  [View PDF(5946)394.93 K]

Research on Solution to Complex Container-Loading Problem Based on Genetic Algorithm HE Da yong,ZHA Jian zhong and JIANG Yi dong 2001,12(9):1380-1385 [Abstract(5698)]  [View PDF(6798)851.29 K]

Using Naive Bayes to Coordinate the Classification of Web Pages FAN Yan,ZHENG Cheng,WANG Qingyi,CAI Qing sheng and LIU Jie 2001,12(9):1386-1392 [Abstract(4536)]  [View PDF(5568)1.45 M]

Optimization of Multiple User-Defined Functions in a Query Using Interval Constraints YANG Bo,HONG Xiao guang and WANG Hai yang 2001,12(9):1393-1398 [Abstract(3967)]  [View PDF(5140)377.27 K]

Design and Implementation of Intelligent Environment for Computer Embroidery Programming LIU Hai tao,GUO Lei and CHEN Shi fu 2001,12(9):1399-1404 [Abstract(4741)]  [View PDF(6059)368.18 K]

Logarithm Model Based Word Sense Disambiguation ZHU Jing bo,LI Heng,ZHANG Yue and YAO Tian shun 2001,12(9):1405-1412 [Abstract(4051)]  [View PDF(5553)474.33 K]

A Multipoint Real-Time Speech Mixing and Scheduling Algorithm Based on Packet Networks YANG Shu tang,YU Sheng sheng and ZHOU Jing li 2001,12(9):1413-1419 [Abstract(4382)]  [View PDF(6210)1.34 M]

Maximum Entropy Thresholding Algorithm ZHOU De long,PAN Quan,ZHANG Hong cai and DAI Guan zhong 2001,12(9):1420-1422 [Abstract(5021)]  [View PDF(6203)596.70 K]