Volume 15,
Number 1,
January 2000
Regular Papers
- Huimin Lin:
Computing Bisimulations for Finite-Control pi-Calculus.
1-9
- Ren-ji Tao, Shihua Chen:
Constructing Finite Automata with Invertibility by Transformation Method.
10-26
Correspondence
- Wei Sun:
Multi-Volume CAD Modeling for Heterogeneous Object Design and Fabrication.
27-36
- Taosong He:
Volumetric Virtual Environments.
37-46
- Xing Changyu, Jizhou Sun, Richard L. Grimsdale:
An Accelerated Incremental Radiosity Algorithm.
47-55
- Shuming Gao, Huagen Wan, Qunsheng Peng:
Constraint-Based Virtual Solid Modeling.
56-63
- Yu Huang, Guangyou Xu, Yuanxin Zhu:
Extraction of Spatial-Temporal Features for Vision-Based Gesture Recognition.
64-72
- Weisong Shi, Zhimin Tang, Shi Jinsong:
Using Confidence Interval to Summarize the Evaluating Results of DSM Systems.
73-83
- Liang Yu, Li Shu, Hui Zhang, Chengde Han:
Timing-Sequence Testing of Parallel Programs.
84-95
Notes
Volume 15,
Number 2,
March 2000
Regular Papers
- Huaimin Wang, Quanyuan Wu:
A Formal Framework of Multi-Agent Systems with Requirement/Service Cooperative Style.
106-115
Correspondence
- Yingyu Wan, Yinlong Xu, Xiaodong Gu, Guoliang Chen:
Efficient Minimum Spanning Tree Algorithms on the Reconfigurable Mesh.
116-125
- Gu Jing, Shuai Dianxun:
The Faster Higher-Order Cellular Automaton for Hyper-Parallel Undistorted Data Compression.
126-135
- Junzhou Luo, Guanqun Gu, Fei Xiang:
An Architectural Model for Intelligent Network Management.
136-143
- Fei Xiang, He Xiaoyan, Junzhou Luo, Jieyi Wu, Guanqun Gu:
Fuzzy Neural Network Based Traffic Prediction and Congestion Control in High-Speed Networks.
144-149
- Zou Tao, Jicheng Wang, Fuyan Zhang:
Information Service Model with Mobile Agent Supported.
150-157
- Hao Huang, Guihai Chen, Xie Li, Sun Zhongxiu:
Multicast Protocol for Uni-Directional Networks.
158-168
- Xiaohui Wei, Jiubin Ju:
SFT: A Consistent Checkpointing Algorithm with Short Freezing Time.
169-175
- Li Layuan, Li Chunlin:
A Semantics-Based Approach for Achieving Self Fault-Tolerance of Protocols.
176-183
- Zhang Yiying, Xiaoyan Zhu, Bo Zhang:
A New Speaker Verification Method with Global Speaker Model and Likelihood Score Normalization.
184-193
Notes
- Tian Liu:
A Note on Closeness between NP-Hard Sets and C=P.
194-195
- Husheng Liao:
An Action Analysis for Combining Partial Evaluation.
196-
Volume 15,
Number 3,
May 2000
Regular Papers
- Wei Li, Shangmin Luan:
Operational and Complete Approaches to Belief Revision.
202-212
- Jianzhong Li, Yingshu Li, Jaideep Srivastava:
Efficient Aggregation Algorithms on Very Large Compressed Data Warehouses.
213-229
- Zongmin Ma, Wenjun Zhang, Weiyin Ma:
Extending the Relational Model to Deal with Probabilistic Data.
230-240
- Aoying Zhou, Wen Jin, Shuigeng Zhou:
Incremental Mining of the Schema of Semistructured Data.
241-248
- Ning Gu, Xuebiao Xu, Baile Shi:
Design and Implementation of an Interoperable Object Platform for Multi-Databases.
249-260
- Xiaopeng Tao, Aoying Zhou, Yunfa Hu:
Fast Algorithms of Mining Probability Functional Dependency Rules in Relational Database.
261-270
- Jinzhao Wu, Zhuojun Liu:
Linear Strategy for Boolean Ring Based Theorem Proving.
271-279
- Du Lin, Yufang Sun:
A New Indexing Method Based on Word Proximity for Chinese Text Retrieval.
280-286
Correspondence
Notes
Volume 15,
Number 4,
July 2000
Regular Papers
- Ren-ji Tao, Shihua Chen:
Input-Trees of Finite Automata and Application to Cryptanalysis.
305-325
- Shiyi Xu, Tukwasibwe Justaf Frank:
Forecasting the Efficiency of Test Generation Algorithms for Combinational Circuits.
326-337
- Xiaowei Li, Paul Y. S. Cheung:
High Level Synthesis for Loop-Based BIST.
338-345
- Xiaofeng Meng, Shuang Liu, Shan Wang:
Word Segmentation Based on Database Semantics in NChiql.
346-354
- Guo Qingping, Yakup Paker, Zhang Shesheng, Dennis Parkinson, Wei Jianing:
Optimum Tactics of Parallel Multi-Grid Algorithm with Virtual BoundaryForecast Method Running on a Local Network with the PVM Platform.
355-359
- Luo Jianhua, TianGe Zhuang:
Reduction of Artifacts in Images from MR Truncated Data Using Singularity Spectrum Analysis.
360-367
Correspondence
Notes
Volume 15,
Number 5,
September 2000
Regular Papers
- Tao Jiang, Ming Li, Paul M. B. Vitányi:
Average-Case Analysis of Algorithms Using Kolmogorov Complexity.
402-408
- Xumin Nie, Qing Guo:
Renaming a Set of Non-Horn Clauses.
409-415
- Sui-Xiang Gao, Guo-Hui Lin:
Decision Tree Complexity of Graph Properties with Dimension at Most 5.
416-422
- Jianhua Zhao, Dang Van Hung:
Checking Timed Automata for Linear Duration Properties.
423-429
- Dongmo Zhang, Zhaohui Zhu, Shifu Chen:
Default Reasoning and Belief Revision: A Syntax-Independent Approach.
430-438
- Tian Liu:
Some Structural Properties of SAT.
439-444
- Hong Jinwei, Guoliang Chen, Zhaoqing Zhang:
Supporting Flexible Data Distribution in Software DSMs.
445-452
- Xianghui Xie, Chengde Han:
Limited Multiple-Writer: An Approach to Dealing with False Sharing in Software DSMs.
453-460
- Zheng Fang, Wu Jian, Zhanjiang Song:
Improving the Syllable-Synchronous Network Search Algorithm for Word Decoding in Continuous Chinese Speech Recognition.
461-471
- Xiaowei Li, Paul Y. S. Cheung:
Exploiting Deterministic TPG for Path Delay Testing.
472-479
Notes
Volume 15,
Number 6,
November 2000
Regular Papers
Correspondence
- Ji-Rong Wen, Chen Hong, Shan Wang:
POTENTIAL: A Highly Adaptive Core of Parallel Database System.
527-541
- Wei Wang, Yujun Wang, Baile Shi:
Dynamic Interval Index Structure in Constraint Database Systems.
542-551
- Yongqiang Sun, Kai Lin, Chao-Jun Lu:
Partial Completion of Equational Theories.
552-559
- Zhang Wensong, Shiyao Jin, Quanyuan Wu:
LinuxDirector: A Connection Director for Scalable Internet Services.
560-571
- Jianping Song, Zifeng Hou, Shi Yuntao:
An Optimal Multicast Algorithm for Cube-Connected Cycles.
572-583
- Ding Yuxin, Mei Jia, Cheng Hu:
Design and Implementation of Java Just-in-Time Compiler.
584-590
- Liu Songyan, Zhigang Mao, Yizheng Ye:
Implementation of Java Card Virtual Machine.
591-596
- Zhiming Xu, Xiaolong Wang:
A New Linguistic Decoding Method for Online Handwritten Chinese Character Recognition.
597-603
- Guoping Wang, Hua Xuanji, Jia-Guang Sun:
The Differential Equation Algorithm for General Deformed Swept Volumes.
604-610
- Jicheng Wang, Xiangyu Jin, Yang Xiaojiang, Fuyan Zhang:
Distributed and Cooperative Information Retrieval on the World Wide Web.
611-618
Notes
Copyright © Fri Mar 12 17:29:56 2010
by Michael Ley (ley@uni-trier.de)
