Volume 19, Number 1, January 2004

Special Issue on Bioinformatics

• 
  Paola Bonizzoni, Gianluca Della Vedova, Tao Jiang: Foreword - Special Issue on Bioinformatics. 1
• 
  Giulio Pavesi, Giancarlo Mauri, Graziano Pesole: An Algorithm for Finding Conserved Secondary Structure Motifs in Unaligned RNA Sequences. 2-12
• 
  Chao Yan, Guo-Liang Chen, Yi-Fei Shen: Outleir Analysis for Gene Expression Data. 13-21
• 
  Alberto Apostolico, Fang-Cheng Gong, Stefano Lonardi: Verbumculus and the Discovery of Unusual Words. 22-41
• 
  Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen: The Complexity of Checking Consistency of Pedigree Information and Related Problems. 42-59
• 
  Giuseppe Lancia: Integer Programming Models for Computational Biology Problems. 60-77
• 
  Mondher Maddouri, Mourad Elloumi: Encoding of Primary Structures of Biological Macromolecules Within a Data Mining Perspective. 78-88
• 
  Ludek Cienciala, Lucie Ciencialová: Membrane Automata with Priorities. 89-97
• 
  Natasa Jonoska: Trends in Computing with DNA. 98-113

Volume 19, Number 2, February 2004

• 
  Ming-Kuan Liu, Fei-Yue Wang, Daniel Dajun Zeng: Web Caching: A Way to Improve Web QoS. 113-127
• 
  Yantai Shu, Guang-Hong Wang, Lei Wang, Oliver W. W. Yang, Yong-Jie Fan: Provisioning QoS Guarantee by Multipath Routing and Reservation in Ad Hoc Networks. 128-137
• 
  Su-Bin Shen, Guan-Qun Gu, Shun-Yi Zhang: A Conceptual Model of Service Customization and Its Implementation. 138-149
• 
  Yong Peng, Shiduan Cheng: Performance Enhancement and Bandwidth Guarantee in IEEE 802.11 Wireless LANs. 150-157
• 
  Xiansi Tan, Zongkai Yang, Liang Ou, Jing-Wen Chen, Ya-Jie Ma: An Analytical Framework for Performance of Different Fault Restoration Policies with QoS Constraints in MPLS Networks. 158-168
• 
  Shengli Liu, Fangguo Zhang, Kefei Chen: Authenticating Tripartite Key Agreement Protocol with Pairings. 169-176
• 
  Yihua Zhu, Ding-Hua Shi, Yong Xiong, Ji Gao, He-Zhi Luo: A General Probability Formula of the Number of Location Areas' Boundaries Crossed by a Mobile Between Two Successive Call Arrivals. 177-182
• 
  Gao-Cai Wang, Jian-Er Chen, Guo-Jun Wang: On Fault Tolerance of 3-Dimensional Mesh Networks. 183-190
• 
  Chun-Hua Yang, Geert Deconinck, Wei-Hua Gui: Fault-Tolerant Scheduling for Real-Time Embedded Control Systems . 191-202
• 
  Yuyue Du, Changjun Jiang: Verifying Functions in Online Stock Trading Systems. 203-212
• 
  Zhao-Xia Wang, Zeng-Qiang Chen, Zhu-Zhi Yuan: QoS Routing Optimization Strategy Using Genetic Algorithm in Optical Fiber Communication Networks. 213-217
• 
  Shu-Ming Zhou, Wen-Jun Xiao: A New Family of Interconnection Networks of Fixed Degree Three. 218-223
• 
  Guoren Wang, Bing Sun, Jianhua Lv, Ge Yu: RPE Query Processing and Optimization Techniques for XML Databases. 224-237
• 
  Fang Gu, Cungen Cao, Yuefei Sui, Wen Tian: Domain-Specific Ontology of Botany. 238-248
• 
  Zhi-Hua Zhou: Rule Extraction: Using Neural Networks or for Neural Networks? 249-253
• 
  Hao Lin, Zefeng Zhang, Qiang-Feng Zhang, Dongbo Bu, Ming Li: A Note on the Single Genotype Resolution Problem. 254-257

Volume 19, Number 3, May 2004

Knowledge and Data Processing

• 
  Jiawei Han, Jian Pei, Xifeng Yan: From Sequential Pattern Mining to Structured Pattern Mining: A Pattern-Growth Approach. 257-279
• 
  Zhinong Zhong, Ning Jing, Luo Chen, Qiu-Yun Wu: Representing Topological Relationships Among Heterogeneous Geometry-Collection Features. 280-289
• 
  Chunxia Zhang, Cungen Cao, Fang Gu, Jinxin Si: Domain-Specific Formal Ontology of Archaeology and Its Application in Knowledge Acquisition and Analysis. 290-301
• 
  Cuiping Li, Kum-Hoe Tung, Shan Wang: Incremental Maintenance of Quotient Cube Based on Galois Lattice.. 302-308
• 
  Chen Wang, Mingsheng Hong, Wei Wang, Baile Shi: Chopper: Efficient Algorithm for Tree Mining. 309-319
• 
  Ai-Bo Song, Mao-Xian Zhao, Zuo-Peng Liang: Discovering User Profiles for Web Personalized Recommendation. 320-328

Formal Methods

• 
  Xishun Zhao: Regular Disjunction-Free Default Theories. 329-340
• 
  Zhenhua Duan, Maciej Koutny: A Framed Temporal Logic Programming Language. 341-351
• 
  Yongjian Li, Xinxin Liu: Towards a Theory of Bisimulation for the Higher-Order Process Calculi. 352-363
• 
  Yuan Feng, Mingsheng Ying: Process Algebra Approach to Reasoning About Concurrent Actions. 364-373

Pattern Recognition and Image Processing

• 
  Guanghui Wang, Zhanyi Hu, Fuchao Wu: Single View Based Measurement on Space Planes. 374-382
• 
  Pin Liao, Li Shen: Unified Probabilistic Models for Face Recognition from a Single Example Image per Person. 383-392
• 
  Xiaofeng Mi, Min Tang, Jinxiang Dong: Droplet: A Virtual Brush Model to Simulate Chinese Calligraphy and Painting. 393-404
• 
  Cheng Wang, Runsheng Wang: Super-Resolution Reconstruction of Image Sequence Using Multiple Motion Estimation Fusion. 405-412
• 
  Tao Wang, Yong Rui, Jia-Guang Sun: Improving Retrieval Performance by Region Constraints and Relevance Feedback. 413-422
• 
  Maojun Zhang, Nicolas D. Georganas: An Orientation Update Message Filtering Algorithm in Collaborative Virtual Environments. 423-429

Volume 19, Number 4, July 2004

Artificial Intelligence

• 
  Suqing Han, Jue Wang: Reduct and Attribute Order. 429-449
• 
  Jun He, Xin Yao: Time Complexity Analysis of an Evolutionary Algorithm for Finding Nearly Maximum Cardinality Matching. 450-458
• 
  Jing Chen, Zi-Ning Cao: Model Checking Real-Time Value-Passing Systems. 459-471
• 
  Tian-Ming Bu, Song-Nian Yu, Hui-Wei Guan: Binary-Coding-Based Ant Colony Optimization and Its Convergence. 472-478
• 
  Gai-Tai Huang, Hsiu-Hsen Yao: Chinese Question-Answering System. 479-488
• 
  Qiang Wang, Haizhou Ai, Guangyou Xu: Learning-Based Tracking of Complex Non-Rigid Motion. 489-500
• 
  Ronghua Liang, Zhigeng Pan, Chun Chen: New Algorithm for 3D Facial Model Reconstruction and Its Application in Virtual Reality. 501-509
• 
  Jianwei Yang, Lifeng Liu, Tianzi Jiang: Efficient Fingerprint Matching Algorithm for Integrated Circuit Cards. 510-520
• 
  Guofei Hu, Qunsheng Peng, A. Robin Forrest: Robust Mesh Smoothing. 521-528
• 
  Yong-You Ma, Hui Zhang, Shou-Wei Jiang: Realistic Modeling and Animation of Human Body Based on Scanned Data. 529-537
• 
  Abbas H. Hassin, Xianglong Tang, Jiafeng Liu, Wei Zhao: Printed Arabic Character Recognition Using HMM. 538-543
• 
  Zhaozhi Yang, Zeyi Wang: New Multipole Method for 3-D Capacitance Extraction. 544-549

Information Security

• 
  Hong-Da Li, Dongyao Ji, Dengguo Feng, Bao Li: Oblivious Polynomial Evaluation. 550-554
• 
  Rui Xue, Dengguo Feng: New Semantic Model for Authentication Protocols in ASMs. 555-563
• 
  Yuanbo Guo, Jianfeng Ma: Practical Secret Sharing Scheme Realizing Generalized Adversary Structure. 564-569
• 
  Tzer-Shyong Chen, Kuo-Hsuan Huang, Yu-Fang Chung: Digital Multi-Signature Scheme Based on the Elliptic Curve Cryptosystem. 570-573

Volume 19, Number 5, September 2004

• 
  Nadia Magnenat-Thalmann, Hyewon Seo, Frederic Cordier: Automatic Modeling of Virtual Humans and Body Clothing. 575-584
• 
  Amaury Aubel, Daniel Thalmann: MuscleBuilder: A Modeling Tool for Human Anatomy. 585-595
• 
  Kun Zhou, Hujun Bao, Jiaoying Shi, Qunsheng Peng: Geometric Signal Compression. 596-606
• 
  Yong-Jin Liu, Kai Tang, Matthew Ming-Fai Yuen: Multiresolution Free Form Object Modeling with Point Sampled Geometry. 607-617
• 
  Pei-Hsuan Tu, I-Chen Lin, Jeng-Sheng Yeh, Rung-Huei Liang, Ming Ouhyoung: Surface Detail Capturing for Realistic Facial Animation. 618-625
• 
  Xueying Qin, Eihachiro Nakamae, Wei Hua, Yasuo Nagai, Qunsheng Peng: Anti-Aliased Rendering of Water Surface. 626-632
• 
  Wencheng Wang, Kuiyu Li, Xin Zheng, Enhua Wu: Layered Textures for Image-Based Rendering. 633-642
• 
  Fu-Li Wu, Chun-Hui Mei, Jiao-Ying Shi: Method of Direct Texture Synthesis on Arbitrary Surfaces. 643-649
• 
  Jian-Jun Zhang, Lihua You: PDE Surface Generation with Combined Closed and Non-Closed Form Solutions. 650-656
• 
  Huawei Wang, Kaihuai Qin: Estimating Subdivision Depth of Catmull-Clark Surfaces. 657-664
• 
  Yang Liu, Falai Chen: Algebraic Conditions for Classifying the Positional Relationships Between Two Conics and Their Applications. 665-673
• 
  Chunhong Pan, Hongping Yan, Songde Ma: Parametric Tracking of Legs by Exploiting Intelligent Edge. 674-683
• 
  Pin Liao, Li Shen, Yi-Qiang Chen, Shu-Chang Liu: Unified Model in Identity Subspace for Face Recognition. 684-690
• 
  Hui Chen: Gradient-Based Approach for Fine Registration of Panorama Images. 691-697
• 
  Zhongxuan Liu, Hongjian Wang, Silong Peng: Image Magnification Method Using Joint Diffusion. 698-707
• 
  Yongjun Xu, Zuying Luo, Xiaowei Li, Li-Jian Li, Xianlong Hong: Leakage Current Estimation of CMOS Circuit with Stack Effect. 708-717
• 
  Tun Li, Yang Guo, Sikun Li: Automatic Circuit Extractor for HDL Description Using Program Slicing. 718-728
• 
  Heng Hu, Hong-Xi Xue, Ji-Nian Bian: HSM2: A New Heuristic State Minimization Algorithm for Finite State Machine. 729-733

Volume 19, Number 6, November 2004

Algorithms and Computational Complexity

• 
  Yong He, Yiwei Jiang: Preemptive Semi-Online Scheduling with Tightly-Grouped Processing Times. 733-739
• 
  Peng Zou, Zhi Zhou, Ying-Yu Wan, Guo-Liang Chen, Jun Gu: New Meta-Heuristic for Combinatorial Optimization Problems: Intersection Based Scaling. 740-751
• 
  Hong-Bin Zhang, Cheng Yang, Xiao-Mei Quan: Image Authentication Based on Digital Signature and Semi-Fragile Watermarking. 752-759
• 
  Kenli Li, Renfa Li, Qing-Hua Li: Optimal Parallel Algorithm for the Knapsack Problem Without Memory Conflicts. 760-768
• 
  Jun-Feng Tian, Jun-Wei Zhang, Feng-Xian Wang: Fault Tolerant Algorithm Based on Dynamic and Active Load Balancing for Redundant Services. 769-775
• 
  Wen-Qi Huang, Zhi Huang: Algorithm Based on Taboo Search and Shifting Bottleneck for Job Shop Scheduling. 776-781
• 
  Yong Zhang, Hong Zhu: Approximation Algorithm for Weighted Weak Vertex Cover. 782-786
• 
  Xian-Chao Zhang, Ying-Yu Wan, Guo-Liang Chen: Max-Flow Problem in Undirected Planar Networks with Node Capacities Being in NC. 787-790
• 
  Zi-Mao Li, Da-Ming Zhu, Shao-Han Ma: Approximation Algorithm for Bottleneck Steiner Tree Problem in the Euclidean Plane. 791-794

Software Engineering

• 
  Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay: Verifying Mutual Exclusion and Liveness Properties with Split Preconditions. 795-802
• 
  Jinzhao Wu, Harald Fecher: Symmetric Structure in Logic Programming. 803-811
• 
  Wei-Wen Xu: Automatic Generation of Symbolic Model for Parameterized Synchronous Systems. 812-819
• 
  Yong-Bin Li, Wu Liu, Xiao-Lin Xiang: Geometry Theorem Proving by Decomposing Polynomial Systems into Strong Regular Sets. 820-827
• 
  Xiuli Sun, Wenyin Zhang, Jinzhao Wu: Operational Semantics and a Consistency Result for Real-Time Concurrent Processes with Action Refinement. 828-839
• 
  Haiming Chen, Yunmei Dong: Practical Type Checking of Functions Defined on Context-Free Languages. 840-847
• 
  Bixin Li, Xiaocong Fan, Jun Pang, Jianjun Zhao: Model for Slicing JAVA Programs Hierarchically. 848-858
• 
  Zhen-Qiang Chen, Bao-Wen Xu, Yu-Ming Zhou: Measuring Class Cohesion Based on Dependence Analysis. 859-866
• 
  Wei Wang, Qingqing Yuan, Haofeng Zhou, Mingsheng Hong, Baile Shi: Extracting Frequent Connected Subgraphs from Large Graph Sets. 867-875
• 
  Xiuli Ma, Yunhai Tong, Shi-Wei Tang, Dongqing Yang: Efficient Incremental Maintenance of Frequent Patterns with FP-Tree. 876-884

Computer Network and Internet

• 
  Kyung-Oh Lee, Jung-Ho Park, Yoon-Young Park: Striping and Scheduling for Large Scale Multimedia Servers. 885-895
• 
  Wei Wei, Qingji Zeng: Integrated Differentiated Survivability in IP over WDM Networks. 896-908
• 
  Yuan Zhou, Guangsheng Li, Yongzhao Zhan, Qirong Mao, Yibin Hou: DRMR: Dynamic-Ring-Based Multicast Routing Protocol for Ad Hoc Networks. 909-919
• 
  Qing-Hua Zheng, David L. Pepyne, Qing Wang: New Approach to WLAN Security with Synchronized Pseudo Random. 920-927
• 
  Fei Wang, Jin-Tao Li, Yong-Dong Zhang, Shouxun Lin: Semantic and Structural Analysis of TV Diving Programs. 928-935
• 
  Ning Chen, Jiawei Rong: Memorizable Interactive Proof and Zero-Knowledge Proof Systems. 936-841
• 
  Hong-Da Li, Xiong Yang, Dengguo Feng, Bao Li: Distributed Oblivious Function Evaluation and Its Applications. 942-947
• 
  Keping Long, Yun Li, Rodney S. Tucker, Chonggang Wang: A Novel Framework for IP DiffServ over Optical Burst Switching Networks. 948-954

Others

• 
  Subhashis Majumder, Bhargab B. Bhattacharya, Vishwani D. Agrawal, Michael L. Bushnell: A New Classification of Path-Delay Fault Testability in Terms of Stuck-at Faults. 955-964
• 
  Dan Feng, Hong Jiang, Yifeng Zhu: I/O Performance of an RAID-10 Style Parallel File System. 965-972
• 
  Song Chen, Xianlong Hong, Sheqin Dong, Yuchun Ma, Chung-Kuan Cheng, Jun Gu: Fast Evaluation of Bounded Slice-Line Grid. 973-980
• 
  Ren-Ren Liu, Song-Qiao Chen, Jian-Er Chen, Shu Li: Some Results on the Minimal Coverings of Precomplete Classes in Partial k-Valued Logic Functions. 981-985