Volume 12,Issue 9,2001 Table of Contents

Other Issues:  
  
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(2570)]  [View PDF(2323)352.12 K]
  • Automatic Parsing of News Video Using Multimodal Analysis
  • WANG Wei qiang and GAO Wen
  • 2001,12(9):1271-1278 [Abstract(2323)]  [View PDF(2548)719.32 K]
  • Operational Semantics for Functional Logic Languages
  • MOHAMED Hamada
  • 2001,12(9):1279-1286 [Abstract(2312)]  [View PDF(2506)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(2543)]  [View PDF(2654)1.13 M]
  • Composition and Interactive Computation of Object Systems
  • QIAN Jun,HUANG Tao and FENG Yu lin
  • 2001,12(9):1295-1303 [Abstract(2175)]  [View PDF(2456)1.17 M]
  • A Novel Secret Key Watermarking System
  • ZHONG Hua,JIAO Li cheng and LIU Fang
  • 2001,12(9):1304-1311 [Abstract(2706)]  [View PDF(2586)485.10 K]
  • Liveness and Boundedness of Extended Strong Asymmetric Choice Nets
  • JIAO Li and LU Wei ming
  • 2001,12(9):1312-1317 [Abstract(2534)]  [View PDF(2332)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(2175)]  [View PDF(2530)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(2245)]  [View PDF(2483)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(2676)]  [View PDF(2683)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(2853)]  [View PDF(2647)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(5304)]  [View PDF(3580)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(2748)]  [View PDF(3325)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(2530)]  [View PDF(2545)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(2365)]  [View PDF(2902)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(3432)]  [View PDF(3226)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(2607)]  [View PDF(2521)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(2281)]  [View PDF(2348)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(2462)]  [View PDF(3010)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(2246)]  [View PDF(2479)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(2443)]  [View PDF(3146)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(2910)]  [View PDF(3123)596.70 K]