Volume 15,Issue 9,2004 Table of Contents

Other Issues:  
  
Contents

  • Research on Model-Checking Based on Petri Nets
  • JANG Yi-Xin,LIN Chuang,QU Yang and YIN Hao
  • 2004,15(9):1265-1276 [Abstract(3622)]  [View PDF(4093)959.20 K]
  • Evaluation Algorithms of a New Kind of Recursive Functions
  • CHEN Hai-Ming
  • 2004,15(9):1277-1291 [Abstract(2677)]  [View PDF(3149)1.05 M]
  • A Decomposition Method for Object-Oriented Systems Based on Iterative Analysis of the Directed Weighted Graph
  • LUO Jing,ZHAO Wei,QIN Tao,JIANG Ren-Kuan,ZHANG Lu and SUN Jia-Su
  • 2004,15(9):1292-1300 [Abstract(3284)]  [View PDF(3471)753.49 K]
  • Axiomatic Assessment of Logic Coverage Software Testing Criteria
  • LIU Ling and MIAO Huai-Kou
  • 2004,15(9):1301-1310 [Abstract(2955)]  [View PDF(3320)785.05 K]
  • A Data Space Fusion Based Approach for Global Computation and Data Decompositions
  • XIA Jun and YANG Xue-Jun
  • 2004,15(9):1311-1327 [Abstract(2810)]  [View PDF(2447)1.38 M]
  • Chinese Web Index Page Recommendation Based on Multi-Instance Learning
  • LI Ming,XUE Xiao-Bing and ZHOU Zhi-Hua
  • 2004,15(9):1328-1335 [Abstract(4160)]  [View PDF(3306)1.50 M]
  • Ordinal Regression in Content-Based Image Retrieval
  • WU Hong,LU Han-Qing and MA Song-De
  • 2004,15(9):1336-1344 [Abstract(3065)]  [View PDF(2989)850.40 K]
  • A Compounded Genetic and Simulated Annealing Algorithm for Computing Minimal Diagnosis
  • HUANG Jie,CHEN Lin and ZOU Peng
  • 2004,15(9):1345-1350 [Abstract(3205)]  [View PDF(3395)647.25 K]
  • An Incremental Clustering Algorithm for the Topology Adjustment of Location Databases
  • MA Shuai,TANG Shi-Wei,YANG Dong-Qing and WANG Teng-Jiao
  • 2004,15(9):1351-1360 [Abstract(2608)]  [View PDF(3275)875.33 K]
  • Key Dimension Based High-Dimensional Data Partition Strategy
  • ZHOU Xiang-Min and WANG Guo-Ren
  • 2004,15(9):1361-1374 [Abstract(2953)]  [View PDF(3211)1.16 M]
  • PeerIS: A Peer-to-Peer Based Information Retrieval System
  • LING Bo,LU Zhi-Guo,Ng Wee-Siong,QIAN Wei-Ning and ZHOU Ao-Ying
  • 2004,15(9):1375-1384 [Abstract(3460)]  [View PDF(3586)834.07 K]
  • Covet Channel Analysis on ANSHENG Secure Operating System
  • QING Si-Han and ZHU Ji-Feng
  • 2004,15(9):1385-1392 [Abstract(2870)]  [View PDF(3526)644.85 K]
  • A Web Site Representation and Mining Algorithm Using the Multiscale Tree Model
  • TIAN Yong-Hong,HUANG Tie-Jun and GAO Wen
  • 2004,15(9):1393-1404 [Abstract(2938)]  [View PDF(2672)1.03 M]
  • An Adaptive Forward Error Correction Algorithm for Streaming Video
  • MEI Zheng and LI Jin-Tao
  • 2004,15(9):1405-1412 [Abstract(3104)]  [View PDF(3627)752.68 K]
  • Analysis of Block Coding Strategies in Watermarking Channel
  • GU Li-Min and HUANG Ji-Wu
  • 2004,15(9):1413-1422 [Abstract(2577)]  [View PDF(3328)853.66 K]