Volume 16,
Number 1,
January 2001
Regular Papers
Correspondence
Notes
Volume 16,
Number 2,
March 2001
Regular Papers
Correspondence
Notes
Volume 16,
Number 3,
May 2001
Regular Papers
Correspondence
- Weiwu Hu, Fuxin Zhang, Haiming Liu:
Dynamic Data Prefetching in Home-Based Software DSMs.
231-241
Electronic Edition (link) BibTeX
- Bo Huang, Binyu Zang, Jing Li, Chuanqi Zhu:
A New Approach to Pointer Analysis for Assignments.
242-250
Electronic Edition (link) BibTeX
- Yunfeng Wang, Jun Pang, Ming Zha, Zhaohui Yang, Guoliang Zheng:
A Formal Software Development Approach Using Refinement Calculus.
251-262
Electronic Edition (link) BibTeX
- Jinzhao Wu:
CWA Formalizations in Multi-Valued Logics.
263-269
Electronic Edition (link) BibTeX
- Li Yueping, Pushan Tang:
Relaxation Algorithm of Piecing-Error for Sub-Images.
270-277
Electronic Edition (link) BibTeX
- Xiaowei Li, Paul Y. S. Cheung:
A Loop-Based Apparatus for At-Speed Self-Testing.
278-285
Electronic Edition (link) BibTeX
Notes
Volume 16,
Number 4,
July 2001
Regular Papers
Correspondence
- Kaile Su:
Constraints on Extensions of a Default Theory.
329-340
Electronic Edition (link) BibTeX
- Zhang Xiaopeng, Yanyun Chen, Enhua Wu:
Hair Image Generation Using Connected Texels.
341-350
Electronic Edition (link) BibTeX
- Du Lin, Zhang Yibo, Sun Le, Yufang Sun:
The Application of the Comparable Corpora in Chinese-English Cross-Lingual Information Retrieval.
351-358
Electronic Edition (link) BibTeX
- Ning Chen, Chen An, Longxiang Zhou, Liu Lu:
A Fast Algorithm for Mining Sequential Patterns from Large Databases.
359-370
Electronic Edition (link) BibTeX
- Xiushan Feng, Chengde Han:
A Fault-Tolerant Routing Scheme in Dynamic Networks.
371-380
Electronic Edition (link) BibTeX
- Kewen Wang, Lizhu Zhou:
Closed World Assumption for Disjunctive Reasoning.
381-387
Electronic Edition (link) BibTeX
Notes
Volume 16,
Number 5,
September 2001
Regular Papers
Correspondence
- Lei Ming, Jianyong Wang, Chen Baojue, Xiaoming Li:
Improved Relevance Ranking in WebGather.
410-417
Electronic Edition (link) BibTeX
- Shengyuan Wang, Jian Yu, Chongyi Yuan:
A Pragmatic Behavior Subtyping Relation Based on Both States and Actions.
418-425
Electronic Edition (link) BibTeX
- Jiao Li, Lu Weiming:
Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice Nets II.
426-433
Electronic Edition (link) BibTeX
- Shuai Dianxun, Gu Jing, Gu Huiping, Deng Zhidong:
Hyper-Distributed Hyper-Parallel Self-Organizing Dynamic Scheduling Based on Solitary Wave.
434-442
Electronic Edition (link) BibTeX
- Xiaogang Jin, Huagen Wan, Qunsheng Peng:
Geometric Deformations Based on 3D Volume Morphing.
443-449
Electronic Edition (link) BibTeX
- Cao Weiqun, Hujun Bao, Qunsheng Peng:
An Algorithm for LOD by Merging Near Coplanar Faces Based on Gauss Sphere.
450-457
Electronic Edition (link) BibTeX
- Jiqing Han, Wen Gao:
Robust Speech Recognition Method Based on Discriminative Environment Feature Extraction.
458-464
Electronic Edition (link) BibTeX
- Shouqin Zhou, Kwai-Sang Chin, Ling Weiqing, Xie Youbai:
Study on Distributed Knowledge Information System for Product Design.
465-473
Electronic Edition (link) BibTeX
- Dafang Zhang, Gaogang Xie, Yinghua Min:
Node Grouping in System-Level Fault Diagnosis.
474-479
Electronic Edition (link) BibTeX
Notes
Volume 16,
Number 6,
November 2001
Regular Papers
Correspondence
- Guangxin Yang, Meilin Shi:
oodOPT: A Semantics-Based Concurrency Control Framework for Fully-Replicated Architecture.
531-543
Electronic Edition (link) BibTeX
- Yueming Lu, Depei Qian, Bin Xu, Lei Wang:
Active Network Supports for Mobile IP.
544-551
Electronic Edition (link) BibTeX
- Jun-Hai Yong, Shi-Min Hu, Jia-Guang Sun:
CIM Algorithm for Approximating Three-Dimensional Polygonal Curves.
552-559
Electronic Edition (link) BibTeX
- Tengjiao Wang, Shiwei Tang, Dongqing Yang, Yunfeng Liu, Bin Lin:
Extracting Local Schema from Semistructured Data Based on Graph-Oriented Semantic Model.
560-566
Electronic Edition (link) BibTeX
- Linmi Tao, Guangyou Xu:
New Color Constancy Model for Machine Vision.
567-573
Electronic Edition (link) BibTeX
- Baowen Xu, Yuming Zhou:
Extracting Objects from Ada83 Programs: A Case Study.
574-581
Electronic Edition (link) BibTeX
Notes
Copyright © Sun May 17 00:08:20 2009
by Michael Ley (ley@uni-trier.de)
