Journal of Computer Science and Technology, Volume 16

Volume 16, Number 1, January 2001

• Jue Wang, Cui Jia, Kai Zhao:
  Investigation on AQ11, ID3 and the Principle of Discernibility Matrix. 1-12
  
• Yuxi Fu:
  Semantics of Constructions (I) - The Traditional Approach. 13-24
  
• Ge Yu, Guoren Wang, Huaiyuan Zheng, Taiyong Jin, Kunihiko Kaneko, Akifumi Makinouchi:
  A Non-Blocking Locking Method and Performance Evaluation on Network of Workstations. 25-38
  

• Xuandong Li:
  Verifying Time Petri Nets by Linear Programming. 39-46
  
• Wumo Pan, Qingren Wang:
  Guidelines for Creating a Rule-Based Knowledge Learning System and Their Application to a Chinese Business Card Layout Analysis. 47-56
  
• Zhigeng Pan, Kun Zhou, Jiaoying Shi:
  A New Mesh Simplification Algorithm Based on Triangle Collapses. 57-63
  
• Li Li:
  Towards a Denotational Semantics of Timed RSL Using Duration Calculus. 64-76
  
• Zaiyue Zhang:
  Extending the Cooper Minimal Pair Theorem. 77-85
  

• Wei-Yi Liu, Guo Lingzhi, Ning Song:
  Fuzzy Association Degree with Delayed Time in Temporal Data Model. 86-91
  
• Xu Guanghui, Xie Xiren, YongSen Xu:
  An Improved Error Handling Method in SNMPv2 Protocol Operations. 92-
  

Volume 16, Number 2, March 2001

• Zhanyi Hu, Lei Cheng, Hung-Tat Tsui:
  Robot Self-Location by Line Correspondences. 97-113
  

• Wei Peng, Xicheng Lu:
  AHBP: An Efficient Broadcast Protocol for Mobile Ad Hoc Networks. 114-125
  
• Hongbin Zhang, Guangyu Sun:
  Optimal Selection of Reference Set for the Nearest Neighbor Classification by Tabu Search. 126-136
  
• Yuxi Fu:
  Semantics of Constructions (II) - The Initial Algebraic Approach. 137-145
  
• Naijun Zhan:
  An Intuitive Formal Proof for Deadline Driven Scheduler. 146-158
  
• Haiming Chen, Yunmei Dong:
  Pattern Matching Compilation of Functions Defined in Context-Free Languages. 159-167
  
• Tian Fanjiang, Li Congrong, Dingxing Wang:
  Evolving Information Filtering for Personalized Information Service. 168-175
  
• Yuefei Sui:
  Two Online Algorithms for the Ambulance Systems. 176-181
  
• Qingzhong Li, Haiyang Wang, Zhongmin Yan, Shaohan Ma:
  Efficient Mining of Association Rules by Reducing the Number of Passes over the Database. 182-188
  

• Feng Jinhui, Yanyun Chen, Yan Tao, Enhua Wu:
  Leaf Movement Simulation. 189-
  

Volume 16, Number 3, May 2001

• Xiao-Shan Gao, Hangfei Chen:
  New Algorithms for the Perspective-Three-Point Problem. 194-207
  
• Harald E. Otto:
  From Concepts to Consistent Object Specifications: Translation of a Domain-Oriented Feature Framework into Practice. 208-230
  

• Weiwu Hu, Fuxin Zhang, Haiming Liu:
  Dynamic Data Prefetching in Home-Based Software DSMs. 231-241
  
• Bo Huang, Binyu Zang, Jing Li, Chuanqi Zhu:
  A New Approach to Pointer Analysis for Assignments. 242-250
  
• Yunfeng Wang, Jun Pang, Ming Zha, Zhaohui Yang, Guoliang Zheng:
  A Formal Software Development Approach Using Refinement Calculus. 251-262
  
• Jinzhao Wu:
  CWA Formalizations in Multi-Valued Logics. 263-269
  
• Li Yueping, Pushan Tang:
  Relaxation Algorithm of Piecing-Error for Sub-Images. 270-277
  
• Xiaowei Li, Paul Y. S. Cheung:
  A Loop-Based Apparatus for At-Speed Self-Testing. 278-285
  

• Jiang Hui, Lin Dong, Zhang Xingyuan, Xie Xiren:
  Type System in Programming Languages. 286-292
  
• Wang Hai, Zheng Liyuan:
  A Study on Wavelet Data Compression of a Real-Time Monitoring System for Large Hydraulic Machines. 293-
  

Volume 16, Number 4, July 2001

• Zhaohui Zhu, Dongmo Zhang, Shifu Chen, Wujia Zhu:
  Some Contributions to Nonmonotonic Consequence. 297-314
  
• Wang Youcheng, Shengsheng Yu, Zha Hui, Jingli Zhou:
  Approximate Sorting of Packet-Scheduling in High-Speed Networks. 315-328
  

• Kaile Su:
  Constraints on Extensions of a Default Theory. 329-340
  
• Zhang Xiaopeng, Yanyun Chen, Enhua Wu:
  Hair Image Generation Using Connected Texels. 341-350
  
• Du Lin, Zhang Yibo, Sun Le, Yufang Sun:
  The Application of the Comparable Corpora in Chinese-English Cross-Lingual Information Retrieval. 351-358
  
• Ning Chen, An Chen, Longxiang Zhou, Liu Lu:
  A Fast Algorithm for Mining Sequential Patterns from Large Databases. 359-370
  
• Xiushan Feng, Chengde Han:
  A Fault-Tolerant Routing Scheme in Dynamic Networks. 371-380
  
• Kewen Wang, Lizhu Zhou:
  Closed World Assumption for Disjunctive Reasoning. 381-387
  

• Daming Zhu, Junfeng Luan, Shaohan Ma:
  Hardness and Methods to Solve CLIQUE. 388-
  

Volume 16, Number 5, September 2001

• Wu Jie, Chen Xiao:
  Fault-Tolerant Tree-Based Multicasting in Mesh Multicomputers. 393-409
  

• Lei Ming, Jianyong Wang, Chen Baojue, Xiaoming Li:
  Improved Relevance Ranking in WebGather. 410-417
  
• Shengyuan Wang, Jian Yu, Chongyi Yuan:
  A Pragmatic Behavior Subtyping Relation Based on Both States and Actions. 418-425
  
• Jiao Li, Lu Weiming:
  Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice Nets II. 426-433
  
• Shuai Dianxun, Gu Jing, Gu Huiping, Deng Zhidong:
  Hyper-Distributed Hyper-Parallel Self-Organizing Dynamic Scheduling Based on Solitary Wave. 434-442
  
• Xiaogang Jin, Huagen Wan, Qunsheng Peng:
  Geometric Deformations Based on 3D Volume Morphing. 443-449
  
• Cao Weiqun, Hujun Bao, Qunsheng Peng:
  An Algorithm for LOD by Merging Near Coplanar Faces Based on Gauss Sphere. 450-457
  
• Jiqing Han, Wen Gao:
  Robust Speech Recognition Method Based on Discriminative Environment Feature Extraction. 458-464
  
• Shouqin Zhou, Kwai-Sang Chin, Ling Weiqing, Xie Youbai:
  Study on Distributed Knowledge Information System for Product Design. 465-473
  
• Dafang Zhang, Gaogang Xie, Yinghua Min:
  Node Grouping in System-Level Fault Diagnosis. 474-479
  

• Gu Naijie:
  Efficient Indirect All-to-All Personalized Communication on Rings and 2-D Tori. 480-483
  
• Xiaolin Zhang, Haining Du, Jieyi Wu, Sabing Zhang, Fei Xiang:
  Comparative Study of Two Flow Control Mechanisms in High Speed Networks. 484-
  

Volume 16, Number 6, November 2001

• Jue Wang, Wang Ju:
  Reduction Algorithms Based on Discernibility Matrix: The Ordered Attributes Method. 489-504
  
• Guoqiang Zhang, Yixiang Chen:
  Domains via Graphs. 505-521
  
• Jie Ma, Jin He, Dan Meng, Guojie Li:
  BCL-3: A High Performance Basic Communication Protocol for Commodity Superserver DAWNING-3000. 522-530
  

• Guangxin Yang, Meilin Shi:
  oodOPT: A Semantics-Based Concurrency Control Framework for Fully-Replicated Architecture. 531-543
  
• Yueming Lu, Depei Qian, Bin Xu, Lei Wang:
  Active Network Supports for Mobile IP. 544-551
  
• Jun-Hai Yong, Shi-Min Hu, Jia-Guang Sun:
  CIM Algorithm for Approximating Three-Dimensional Polygonal Curves. 552-559
  
• Tengjiao Wang, Shiwei Tang, Dongqing Yang, Yunfeng Liu, Bin Lin:
  Extracting Local Schema from Semistructured Data Based on Graph-Oriented Semantic Model. 560-566
  
• Linmi Tao, Guangyou Xu:
  New Color Constancy Model for Machine Vision. 567-573
  
• Baowen Xu, Yuming Zhou:
  Extracting Objects from Ada83 Programs: A Case Study. 574-581
  

• Zheng Fang, Guoliang Zhang, Zhanjiang Song:
  Comparison of Different Implementations of MFCC. 582-589
  
• Yuan Chun, Yiyun Chen:
  Constraint-Preserving Architecture Transformations: A Graph Rewriting Approach. 590-594
  
• Jiaye Wang, Hui Chen, Wenping Wang:
  A Sufficient Condition for a Wire-Frame Representing a Solid Modeling Uniquely. 595-