default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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 - Guanghui Xu, Xie Xiren, YongSen Xu:
An Improved Error Handling Method in SNMPv2 Protocol Operations. 92-96
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
- Jinhui Feng, Yanyun Chen, Tao Yan, Enhua Wu:
Leaf Movement Simulation. 189-192
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
- Hui Jiang, Dong Lin, Xingyuan Zhang, Xiren Xie:
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-296
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 - Xiaopeng Zhang, Yanyun Chen, Enhua Wu:
Hair Image Generation Using Connected Texels. 341-350 - Lin Du, Yibo Zhang, Le Sun, 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-391
Volume 16, Number 5, September 2001
- 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 - Dianxun Shuai, Jing Gu, Huiping Gu, Zhidong Deng:
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, Weiqing Ling, Youbai Xie:
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
- Naijie Gu:
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-489
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
- Thomas Fang Zheng, Guoliang Zhang, Zhanjiang Song:
Comparison of Different Implementations of MFCC. 582-589 - Chun Yuan, 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-598
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-07 23:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
