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(4214)]  [View PDF(4657)959.20 K]
  • Evaluation Algorithms of a New Kind of Recursive Functions
  • CHEN Hai-Ming
  • 2004,15(9):1277-1291 [Abstract(3147)]  [View PDF(3489)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(4358)]  [View PDF(3817)753.49 K]
  • Axiomatic Assessment of Logic Coverage Software Testing Criteria
  • LIU Ling and MIAO Huai-Kou
  • 2004,15(9):1301-1310 [Abstract(3451)]  [View PDF(3620)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(3212)]  [View PDF(2735)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(4874)]  [View PDF(3671)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(3553)]  [View PDF(3276)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(3758)]  [View PDF(3698)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(3058)]  [View PDF(3533)875.33 K]
  • Key Dimension Based High-Dimensional Data Partition Strategy
  • ZHOU Xiang-Min and WANG Guo-Ren
  • 2004,15(9):1361-1374 [Abstract(3440)]  [View PDF(3567)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(3929)]  [View PDF(3875)834.07 K]
  • Covet Channel Analysis on ANSHENG Secure Operating System
  • QING Si-Han and ZHU Ji-Feng
  • 2004,15(9):1385-1392 [Abstract(3489)]  [View PDF(3826)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(3579)]  [View PDF(2988)1.03 M]
  • An Adaptive Forward Error Correction Algorithm for Streaming Video
  • MEI Zheng and LI Jin-Tao
  • 2004,15(9):1405-1412 [Abstract(3572)]  [View PDF(3958)752.68 K]
  • Analysis of Block Coding Strategies in Watermarking Channel
  • GU Li-Min and HUANG Ji-Wu
  • 2004,15(9):1413-1422 [Abstract(3056)]  [View PDF(3579)853.66 K]