Advanced Search

    column
    Formal Verification Techniques in Workflow Process Modeling
    Zhou Jiantao, Shi Meilin, Ye Xinming
    2005, 42(1): 1-9.
    Abstract PDF
    VAR-Tree—A New High-Dimensional Data Index Structure
    Dong Daoguo, Liang Liuhong, and Xue Xiangyang
    2005, 42(1): 10-17.
    Abstract PDF
    A Concurrency Control Protocol for Scheduling Mixed Real-Time Transactions
    Wang Qiang, Wang Hongan, Jin Hong, Fu Yong, and Dai Guozhong
    2005, 42(1): 18-29.
    Abstract PDF
    DTD-Based XML Indexing
    Lu Yan, Zhang Liang, Duan Qiyang, Shi Baile
    2005, 42(1): 30-37.
    Abstract PDF
    LDPChecker—A Model Checking Tool for Real-Time and Hybrid System
    Pei Yu, Li Xuandong, and Zheng Guoliang
    2005, 42(1): 38-46.
    Abstract PDF
    A Weight Adjustment Technique with Feature Weight Function Named TEF-WA in Text Categorization
    Tang Huanling, Sun Jiantao, Lu Yuchang
    2005, 42(1): 47-53.
    Abstract PDF
    Belief Characteristic's Research of BDI Model
    Liu Yong, Pu Shuzhen, Cheng Daijie, Cao Zehan
    2005, 42(1): 54-59.
    Abstract PDF
    Improvement of Local Research in SAT Problem
    Yang Jinji, Su Kaile
    2005, 42(1): 60-65.
    Abstract PDF
    Identification of Taste Signals of Tea Based on Minimal Uncertainty Neural Networks
    Wang Yan, Zhou Chunguang, Huang Yanxin, and Feng Xiaoyue
    2005, 42(1): 66-71.
    Abstract PDF
    Data Mining Based on Segmented Time Warping Distance in Time Series Database
    Xiao Hui and Hi Yunfa
    2005, 42(1): 72-78.
    Abstract PDF
    An Improved Model for Adaptive Text Information Filtering
    Ma Liang, Chen Qunxiu, and Cai Lianhong
    2005, 42(1): 79-84.
    Abstract PDF
    A Simple and Efficient Algorithm to Classify a Large Scale of Texts
    Wang Jianhui, Wang Hongwei, Shen Zhan, Hu Yunfa
    2005, 42(1): 85-93.
    Abstract PDF
    Using Maximum Entropy Model for Chinese Text Categorization
    Li Ronglu, Wang Jianhui, Chen Xiaoyun, Tao Xiaopeng, and Hu Yunfa
    2005, 42(1): 94-101.
    Abstract PDF
    Transport Mechanism Applied to Computer Network Protocol Conformance Testing
    Zhang Yujun, Li Zhongcheng, Zheng Hongxia, Tian Ye, and Sun Jingbo
    2005, 42(1): 102-108.
    Abstract PDF
    A Peer-to-Peer DHT Algorithm Based on Small-World Network
    Zhou Jin and Li Yanda
    2005, 42(1): 109-117.
    Abstract PDF
    A Fast and Effective Static Task Scheduling Algorithm in Homogeneous Computing Environments
    Li Qinghua, Han Jianjun, Abbas A. Essa
    2005, 42(1): 118-125.
    Abstract PDF
    The Model and Adaptive Configuration Management Strategy for a Distributed Database Server System
    Tian Junfeng, Liu Yuling, Du Ruizhong
    2005, 42(1): 126-133.
    Abstract PDF
    Genetic Algorithm-Based Least Square Fitting of B-Spline and Bézier Curves
    Zhou Minghua, Wang Guozhao
    2005, 42(1): 134-143.
    Abstract PDF
    Recognition and Understanding of Architectural Drawings: Model and Algorithm
    Lu Tong, Xi Xiaopeng, Rui Ming, Cai Shijie, and Dou Wanchun
    2005, 42(1): 144-152.
    Abstract PDF
    Design-for-Testability and Test Technologies for System-on-a-Chip
    Hu Yu, Han Yinhe, Li Xiaowei
    2005, 42(1): 153-162.
    Abstract PDF
    Overview of Wireless Sensor Networks
    Cui Li, Ju Hailing, Miao Yong, Li Tianpu, Liu Wei, Zhao Ze
    2005, 42(1): 163-174.
    Abstract PDF