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(3688)]  [View PDF(4126)959.20 K]
  • Evaluation Algorithms of a New Kind of Recursive Functions
  • CHEN Hai-Ming
  • 2004,15(9):1277-1291 [Abstract(2733)]  [View PDF(3177)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(3344)]  [View PDF(3497)753.49 K]
  • Axiomatic Assessment of Logic Coverage Software Testing Criteria
  • LIU Ling and MIAO Huai-Kou
  • 2004,15(9):1301-1310 [Abstract(3001)]  [View PDF(3346)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(2860)]  [View PDF(2483)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(4230)]  [View PDF(3344)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(3149)]  [View PDF(3025)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(3279)]  [View PDF(3424)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(2670)]  [View PDF(3308)875.33 K]
  • Key Dimension Based High-Dimensional Data Partition Strategy
  • ZHOU Xiang-Min and WANG Guo-Ren
  • 2004,15(9):1361-1374 [Abstract(3026)]  [View PDF(3243)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(3522)]  [View PDF(3615)834.07 K]
  • Covet Channel Analysis on ANSHENG Secure Operating System
  • QING Si-Han and ZHU Ji-Feng
  • 2004,15(9):1385-1392 [Abstract(2975)]  [View PDF(3556)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(3061)]  [View PDF(2705)1.03 M]
  • An Adaptive Forward Error Correction Algorithm for Streaming Video
  • MEI Zheng and LI Jin-Tao
  • 2004,15(9):1405-1412 [Abstract(3151)]  [View PDF(3664)752.68 K]
  • Analysis of Block Coding Strategies in Watermarking Channel
  • GU Li-Min and HUANG Ji-Wu
  • 2004,15(9):1413-1422 [Abstract(2630)]  [View PDF(3353)853.66 K]