Volume 19,
Number 1,
January 2004
Special Issue on Bioinformatics
- Paola Bonizzoni, Gianluca Della Vedova, Tao Jiang:
Foreword - Special Issue on Bioinformatics.
1
Electronic Edition (link) BibTeX
- Giulio Pavesi, Giancarlo Mauri, Graziano Pesole:
An Algorithm for Finding Conserved Secondary Structure Motifs in Unaligned RNA Sequences.
2-12
Electronic Edition (link) BibTeX
- Chao Yan, Guo-Liang Chen, Yi-Fei Shen:
Outleir Analysis for Gene Expression Data.
13-21
Electronic Edition (link) BibTeX
- Alberto Apostolico, Fang-Cheng Gong, Stefano Lonardi:
Verbumculus and the Discovery of Unusual Words.
22-41
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Giuseppe Lancia:
Integer Programming Models for Computational Biology Problems.
60-77
Electronic Edition (link) BibTeX
- Mondher Maddouri, Mourad Elloumi:
Encoding of Primary Structures of Biological Macromolecules Within a Data Mining Perspective.
78-88
Electronic Edition (link) BibTeX
- Ludek Cienciala, Lucie Ciencialová:
Membrane Automata with Priorities.
89-97
Electronic Edition (link) BibTeX
- Natasa Jonoska:
Trends in Computing with DNA.
98-
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Su-Bin Shen, Guan-Qun Gu, Shun-Yi Zhang:
A Conceptual Model of Service Customization and Its Implementation.
138-149
Electronic Edition (link) BibTeX
- Yong Peng, Shiduan Cheng:
Performance Enhancement and Bandwidth Guarantee in IEEE 802.11 Wireless LANs.
150-157
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Shengli Liu, Fang-Guo Zhang, Kefei Chen:
Authenticating Tripartite Key Agreement Protocol with Pairings.
169-176
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Gao-Cai Wang, Jian-Er Chen, Guo-Jun Wang:
On Fault Tolerance of 3-Dimensional Mesh Networks.
183-190
Electronic Edition (link) BibTeX
- Chun-Hua Yang, Geert Deconinck, Wei-Hua Gui:
Fault-Tolerant Scheduling for Real-Time Embedded Control Systems .
191-202
Electronic Edition (link) BibTeX
- Yuyue Du, Changjun Jiang:
Verifying Functions in Online Stock Trading Systems.
203-212
Electronic Edition (link) BibTeX
- Zhao-Xia Wang, Zeng-Qiang Chen, Zhu-Zhi Yuan:
QoS Routing Optimization Strategy Using Genetic Algorithm in Optical Fiber Communication Networks.
213-217
Electronic Edition (link) BibTeX
- Shu-Ming Zhou, Wen-Jun Xiao:
A New Family of Interconnection Networks of Fixed Degree Three.
218-223
Electronic Edition (link) BibTeX
- Guoren Wang, Bing Sun, Jianhua Lv, Ge Yu:
RPE Query Processing and Optimization Techniques for XML Databases.
224-237
Electronic Edition (link) BibTeX
- Fang Gu, Cungen Cao, Yuefei Sui, Wen Tian:
Domain-Specific Ontology of Botany.
238-248
Electronic Edition (link) BibTeX
- Zhi-Hua Zhou:
Rule Extraction: Using Neural Networks or for Neural Networks?
249-253
Electronic Edition (link) BibTeX
- Hao Lin, Zefeng Zhang, Qiang-Feng Zhang, Dong-Bo Bu, Ming Li:
A Note on the Single Genotype Resolution Problem.
254-
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Zhinong Zhong, Ning Jing, Luo Chen, Qiu-Yun Wu:
Representing Topological Relationships Among Heterogeneous Geometry-Collection Features.
280-289
Electronic Edition (link) BibTeX
- Chunxia Zhang, Cungen Cao, Fang Gu, Jinxin Si:
Domain-Specific Formal Ontology of Archaeology and Its Application in Knowledge Acquisition and Analysis.
290-301
Electronic Edition (link) BibTeX
- Cuiping Li, Kum-Hoe Tung, Shan Wang:
Incremental Maintenance of Quotient Cube Based on Galois Lattice..
302-308
Electronic Edition (link) BibTeX
- Chen Wang, Mingsheng Hong, Wei Wang, Baile Shi:
Chopper: Efficient Algorithm for Tree Mining.
309-319
Electronic Edition (link) BibTeX
- Ai-Bo Song, Mao-Xian Zhao, Zuo-Peng Liang:
Discovering User Profiles for Web Personalized Recommendation.
320-
Electronic Edition (link) BibTeX
Formal Methods
Pattern Recognition and Image Processing
Volume 19,
Number 4,
July 2004
Artificial Intelligence
- Suqing Han, Jue Wang:
Reduct and Attribute Order.
429-449
Electronic Edition (link) BibTeX
- Jun He, Xin Yao:
Time Complexity Analysis of an Evolutionary Algorithm for Finding Nearly Maximum Cardinality Matching.
450-458
Electronic Edition (link) BibTeX
- Jing Chen, Zi-Ning Cao:
Model Checking Real-Time Value-Passing Systems.
459-471
Electronic Edition (link) BibTeX
- Tian-Ming Bu, Song-Nian Yu, Hui-Wei Guan:
Binary-Coding-Based Ant Colony Optimization and Its Convergence.
472-478
Electronic Edition (link) BibTeX
- Gai-Tai Huang, Hsiu-Hsen Yao:
Chinese Question-Answering System.
479-488
Electronic Edition (link) BibTeX
- Qiang Wang, Haizhou Ai, Guangyou Xu:
Learning-Based Tracking of Complex Non-Rigid Motion.
489-500
Electronic Edition (link) BibTeX
- Ronghua Liang, Zhigeng Pan, Chun Chen:
New Algorithm for 3D Facial Model Reconstruction and Its Application in Virtual Reality.
501-509
Electronic Edition (link) BibTeX
- Jianwei Yang, Lifeng Liu, Tianzi Jiang:
Efficient Fingerprint Matching Algorithm for Integrated Circuit Cards.
510-520
Electronic Edition (link) BibTeX
- Guofei Hu, Qunsheng Peng, A. Robin Forrest:
Robust Mesh Smoothing.
521-528
Electronic Edition (link) BibTeX
- Yong-You Ma, Hui Zhang, Shou-Wei Jiang:
Realistic Modeling and Animation of Human Body Based on Scanned Data.
529-537
Electronic Edition (link) BibTeX
- Abbas H. Hassin, Xianglong Tang, Jiafeng Liu, Wei Zhao:
Printed Arabic Character Recognition Using HMM.
538-543
Electronic Edition (link) BibTeX
- Zhaozhi Yang, Zeyi Wang:
New Multipole Method for 3-D Capacitance Extraction.
544-
Electronic Edition (link) BibTeX
Information Security
Volume 19,
Number 5,
September 2004
- Nadia Magnenat-Thalmann, Hyewon Seo, Frederic Cordier:
Automatic Modeling of Virtual Humans and Body Clothing.
575-584
Electronic Edition (link) BibTeX
- Amaury Aubel, Daniel Thalmann:
MuscleBuilder: A Modeling Tool for Human Anatomy.
585-595
Electronic Edition (link) BibTeX
- Kun Zhou, Hujun Bao, Jiaoying Shi, Qunsheng Peng:
Geometric Signal Compression.
596-606
Electronic Edition (link) BibTeX
- Yong-Jin Liu, Kai Tang, Matthew Ming-Fai Yuen:
Multiresolution Free Form Object Modeling with Point Sampled Geometry.
607-617
Electronic Edition (link) BibTeX
- Pei-Hsuan Tu, I-Chen Lin, Jeng-Sheng Yeh, Rung-Huei Liang, Ming Ouhyoung:
Surface Detail Capturing for Realistic Facial Animation.
618-625
Electronic Edition (link) BibTeX
- Xueying Qin, Eihachiro Nakamae, Wei Hua, Yasuo Nagai, Qunsheng Peng:
Anti-Aliased Rendering of Water Surface.
626-632
Electronic Edition (link) BibTeX
- Wencheng Wang, Kuiyu Li, Xin Zheng, Enhua Wu:
Layered Textures for Image-Based Rendering.
633-642
Electronic Edition (link) BibTeX
- Fu-Li Wu, Chun-Hui Mei, Jiao-Ying Shi:
Method of Direct Texture Synthesis on Arbitrary Surfaces.
643-649
Electronic Edition (link) BibTeX
- Jian-Jun Zhang, Lihua You:
PDE Surface Generation with Combined Closed and Non-Closed Form Solutions.
650-656
Electronic Edition (link) BibTeX
- Huawei Wang, Kaihuai Qin:
Estimating Subdivision Depth of Catmull-Clark Surfaces.
657-664
Electronic Edition (link) BibTeX
- Yang Liu, Falai Chen:
Algebraic Conditions for Classifying the Positional Relationships Between Two Conics and Their Applications.
665-673
Electronic Edition (link) BibTeX
- Chunhong Pan, Hongping Yan, Songde Ma:
Parametric Tracking of Legs by Exploiting Intelligent Edge.
674-683
Electronic Edition (link) BibTeX
- Pin Liao, Li Shen, Yi-Qiang Chen, Shu-Chang Liu:
Unified Model in Identity Subspace for Face Recognition.
684-690
Electronic Edition (link) BibTeX
- Hui Chen:
Gradient-Based Approach for Fine Registration of Panorama Images.
691-697
Electronic Edition (link) BibTeX
- Zhongxuan Liu, Hongjian Wang, Silong Peng:
Image Magnification Method Using Joint Diffusion.
698-707
Electronic Edition (link) BibTeX
- Yongjun Xu, Zuying Luo, Xiaowei Li, Li-Jian Li, Xianlong Hong:
Leakage Current Estimation of CMOS Circuit with Stack Effect.
708-717
Electronic Edition (link) BibTeX
- Tun Li, Yang Guo, Sikun Li:
Automatic Circuit Extractor for HDL Description Using Program Slicing.
718-728
Electronic Edition (link) BibTeX
- Heng Hu, Hong-Xi Xue, Ji-Nian Bian:
HSM2: A New Heuristic State Minimization Algorithm for Finite State Machine.
729-
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Peng Zou, Zhi Zhou, Ying-Yu Wan, Guo-Liang Chen, Jun Gu:
New Meta-Heuristic for Combinatorial Optimization Problems: Intersection Based Scaling.
740-751
Electronic Edition (link) BibTeX
- Hong-Bin Zhang, Cheng Yang, Xiao-Mei Quan:
Image Authentication Based on Digital Signature and Semi-Fragile Watermarking.
752-759
Electronic Edition (link) BibTeX
- Kenli Li, Renfa Li, Qing-Hua Li:
Optimal Parallel Algorithm for the Knapsack Problem Without Memory Conflicts.
760-768
Electronic Edition (link) BibTeX
- Jun-Feng Tian, Jun-Wei Zhang, Feng-Xian Wang:
Fault Tolerant Algorithm Based on Dynamic and Active Load Balancing for Redundant Services.
769-775
Electronic Edition (link) BibTeX
- Wen-Qi Huang, Zhi Huang:
Algorithm Based on Taboo Search and Shifting Bottleneck for Job Shop Scheduling.
776-781
Electronic Edition (link) BibTeX
- Yong Zhang, Hong Zhu:
Approximation Algorithm for Weighted Weak Vertex Cover.
782-786
Electronic Edition (link) BibTeX
- Xian-Chao Zhang, Ying-Yu Wan, Guo-Liang Chen:
Max-Flow Problem in Undirected Planar Networks with Node Capacities Being in NC.
787-790
Electronic Edition (link) BibTeX
- Zi-Mao Li, Da-Ming Zhu, Shao-Han Ma:
Approximation Algorithm for Bottleneck Steiner Tree Problem in the Euclidean Plane.
791-794
Electronic Edition (link) BibTeX
Software Engineering
- Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay:
Verifying Mutual Exclusion and Liveness Properties with Split Preconditions.
795-802
Electronic Edition (link) BibTeX
- Jinzhao Wu, Harald Fecher:
Symmetric Structure in Logic Programming.
803-811
Electronic Edition (link) BibTeX
- Wei-Wen Xu:
Automatic Generation of Symbolic Model for Parameterized Synchronous Systems.
812-819
Electronic Edition (link) BibTeX
- Yong-Bin Li, Wu Liu, Xiao-Lin Xiang:
Geometry Theorem Proving by Decomposing Polynomial Systems into Strong Regular Sets.
820-827
Electronic Edition (link) BibTeX
- Xiuli Sun, Wenyin Zhang, Jinzhao Wu:
Operational Semantics and a Consistency Result for Real-Time Concurrent Processes with Action Refinement.
828-839
Electronic Edition (link) BibTeX
- Haiming Chen, Yunmei Dong:
Practical Type Checking of Functions Defined on Context-Free Languages.
840-847
Electronic Edition (link) BibTeX
- Bixin Li, Xiaocong Fan, Jun Pang, Jianjun Zhao:
Model for Slicing JAVA Programs Hierarchically.
848-858
Electronic Edition (link) BibTeX
- Zhen-Qiang Chen, Bao-Wen Xu, Yu-Ming Zhou:
Measuring Class Cohesion Based on Dependence Analysis.
859-866
Electronic Edition (link) BibTeX
- Wei Wang, Qingqing Yuan, Haofeng Zhou, Mingsheng Hong, Baile Shi:
Extracting Frequent Connected Subgraphs from Large Graph Sets.
867-875
Electronic Edition (link) BibTeX
- Xiuli Ma, Yunhai Tong, Shi-Wei Tang, Dongqing Yang:
Efficient Incremental Maintenance of Frequent Patterns with FP-Tree.
876-884
Electronic Edition (link) BibTeX
Computer Network and Internet
- Kyung-Oh Lee, Jun-Ho Park, Yoon-Young Park:
Striping and Scheduling for Large Scale Multimedia Servers.
885-895
Electronic Edition (link) BibTeX
- Wei Wei, Qingji Zeng:
Integrated Differentiated Survivability in IP over WDM Networks.
896-908
Electronic Edition (link) BibTeX
- Yuan Zhou, Guangsheng Li, Yongzhao Zhan, Qirong Mao, Yibin Hou:
DRMR: Dynamic-Ring-Based Multicast Routing Protocol for Ad Hoc Networks.
909-919
Electronic Edition (link) BibTeX
- Qing-Hua Zheng, David L. Pepyne, Qing Wang:
New Approach to WLAN Security with Synchronized Pseudo Random.
920-927
Electronic Edition (link) BibTeX
- Fei Wang, Jin-Tao Li, Yong-Dong Zhang, Shouxun Lin:
Semantic and Structural Analysis of TV Diving Programs.
928-935
Electronic Edition (link) BibTeX
- Ning Chen, Jiawei Rong:
Memorizable Interactive Proof and Zero-Knowledge Proof Systems.
936-841
Electronic Edition (link) BibTeX
- Hong-Da Li, Xiong Yang, Dengguo Feng, Bao Li:
Distributed Oblivious Function Evaluation and Its Applications.
942-947
Electronic Edition (link) BibTeX
- Keping Long, Yun Li, Rodney S. Tucker, Chonggang Wang:
A Novel Framework for IP DiffServ over Optical Burst Switching Networks.
948-954
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Dan Feng, Hong Jiang, Yifeng Zhu:
I/O Performance of an RAID-10 Style Parallel File System.
965-972
Electronic Edition (link) BibTeX
- Song Chen, Xianlong Hong, Sheqin Dong, Yuchun Ma, Chung-Kuan Cheng, Jun Gu:
Fast Evaluation of Bounded Slice-Line Grid.
973-980
Electronic Edition (link) BibTeX
- 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-
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:08:21 2009
by Michael Ley (ley@uni-trier.de)
