Volume 17, Number 1, January 2002

• 
  Enhua Wu, Wenping Wang: Interleaving Radiosity. 1-8
• 
  Xiaoli Li, Zhongzhi Shi: Innovating Web Page Classification Through Reducing Noise. 9-17
• 
  Aoying Zhou, Weining Qian, Hailei Qian, Wen Jin: A New Classification Method to Overcome. 18-27
• 
  Liyi Xiao, Yizheng Ye, Bin Li: A New Synchronization Algorithm for VHDL-AMS Simulation. 28-37
• 
  Jianxin Wang, Jianer Chen, Songqiao Chen: An Effective Randomized QoS Routing Algorithm on Networks with Inaccurate Parameters. 38-46

• 
  Xuandong Li, Wenkai Tan, Guoliang Zheng: Checking MSC Specifications for Timing Inconsistency. 47-55
• 
  Guoqing Wu, Fengdi Shu, Min Wang, Weiqing Chen: Requirements Specifications Checking of Embedded Real-Time Software. 56-63
• 
  Jin Ying, Chengzhi Jin: Constraint-Based Partial Evaluation for Imperative Languages. 64-72
• 
  Yuxi Fu: Testing Congruence for Mobile Processes. 73-82
• 
  Wang Fan, Zheng Fang, Wu Wenhu: Speech Detection in Non-Stationary Noise Based on the 1/f Process. 83-89
• 
  Zhang Feng, Guoliang Chen, Zhaoqing Zhang: OpenMP on Networks of Workstations for Software DSMs. 90-100

• 
  Jian Yu, Shengyuan Wang, Chongyi Yuan: Solving Inheritance Anomaly with OMNets. 101-105
• 
  Zhigang Jin, Yantai Shu, Oliver W. W. Yang: The Impact of Non-Gaussian Distribution Traffic on Network Performance. 106-111

Volume 17, Number 2, March 2002

• 
  Yinghua Min: Why RTL ATPG? 113-117
• 
  Yuntao Qian, Ching Y. Suen, Yuan Yan Tang: Sequential Combination Methods for Data Clustering Analysis. 118-128
• 
  Wei Ding, Weiqi Yan, Dongxu Qi: Digital Image Watermarking Based on Discrete Wavelet Transform. 129-139
• 
  Guoren Wang, Ge Yu: Performance Evaluation of a Parallel Cascade Semijoin Algorithm for Computing Path Expressions in Object Database Systems. 140-151

• 
  Hongyan Liu, Hongjun Lu, Jian Chen: A Fast Scalable Classifier Tightly Integrated with RDBMS. 152-159
• 
  Bo Yang, Fengzhou Zheng, Dingxing Wang, Weimin Zheng: Interactive and Symbolic Data Dependence Analysis Based on Ranges of Expressions. 160-171
• 
  Zhenchun Huang, Sanli Li: IPULOC - Exploring Dynamic Program Locality with the Instruction Processing Unit for Filling Memory Gap. 172-180
• 
  Mohammed Al-Rawi, Jie Yang: Practical Fast Computation of Zernike Moments. 181-188
• 
  Wangqiang Wei, Wen Gao: Automatic Segmentation of News Items Based on Video and Audio Features. 189-195
• 
  Zhong Lin, Liu Jia, Liu Runsheng: A Rejection Model Based on Multi-Layer Perceptrons for Mandarin Digit Recognition. 196-202
• 
  Huaguo Liang, Sybille Hellebrand, Hans-Joachim Wunderlich: A Mixed-Mode BIST Scheme Based on Folding Compression. 203-212

• 
  Xiaodong Gu, Guoliang Chen, Yinlong Xu: Deep Performance Analysis of Refined Harmonic Bin Packing Algorithm. 213-218
• 
  Ke Xu, Jianping Wu, Zhongchao Yu, Mingwei Xu: A Non-Collision Hash Trie-Tree Based Fast IP Classification Algorithm. 219-226
• 
  Xiaolin Zhang, Yuhong Wang, Jieyi Wu: A Rate-Based Flow Control Mechanism for Avoiding Congestion. 227-235
• 
  Yisong Chen, Jian Lu, Zhengxing Sun, Fuyan Zhang: Greylevel Difference Classification Algorithm in Fractal Image Compression. 236-240

Volume 17, Number 3, May 2002

• 
  Qingshi Gao, Yue Hu, Lei Li, Xu Chen, Honglan Liu: A Novel Computer Architecture to Prevent Destruction by Viruses. 241-248
• 
  Thomas Fang Zheng, Zhanjiang Song, Pascale Fung, William J. Byrne: Mandarin Pronunciation Modeling Based on CASS Corpus. 249-263
• 
  Yixin Zhao, Jianping Wu, Xia Yin: From Active to Passive - Progress in Testing Internet Routing Protocols. 264-283
• 
  Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang: An Algebraic Hardware/Software Partitioning Algorithm. 284-294
• 
  Cungen Cao: Extracting and Sharing Knowledge from Medical Texts. 295-303
• 
  Aoying Zhou, Li Wei, Yu Fang: Effective Discovery of Exception Class Association Rules. 304-313

• 
  Xiaobo Peng, Liping Chen, Fanli Zhou, Ji Zhou: Singularity Analysis of Geometric Constraint Systems. 314-323
• 
  Xiaojun Wu, Jing-Yu Yang, Shitong Wang, Yue-Fei Guo, Qiying Gao: A New Algorithm for Generalized Optimal Discriminant Vectors. 324-330
• 
  Ji Gao, Donghao Lin: Agent Cooperation Based Control Integration by Activity-Sharing and Joint Intention. 331-339
• 
  Wenqi Huang, Defu Zhang, Wang Houxiang: An Algorithm Based on Tabu Search for Satisfiability Problem. 340-346
• 
  Jin Wang, Hujun Bao, Weihua Zhou, Qunsheng Peng, Yingqing Xu: Automatic Image-Based Pencil Sketch Rendering. 347-355

• 
  Shi Yuntao, Zifeng Hou, Jianping Song: Study of General Incomplete Star Interconnection Networks. 356-361
• 
  Shi-Xia Liu, Shi-Min Hu, Jia-Guang Sun: Two Accelerating Techniques for 3D Reconstruction. 362-368

Volume 17, Number 4, July 2002

• 
  Ren-ji Tao, Shihua Chen: Structure of Weakly Invertible Semi-Input-Memory Finite Automata with Delay 1. 369-376
• 
  Xiaofeng Meng, Hongjun Lu, Haiyan Wang, Mingzhe Gu: Data Extraction from the Web Based on Pre-Defined Schema. 377-388
• 
  Zhiming Ding, Xiaofeng Meng, Shan Wang: A Transactional Asynchronous Replication Scheme for Mobile Database Systems. 389-396
• 
  Huadong Ma, Kang G. Shin: Hybrid Broadcast for the Video-on-Demand Service. 397-410
• 
  Yinlong Xu, Guoliang Chen, Liusheng Huang, Yingyu Wan: Optimal Bandwidth Utilization of All-Optical Ring with a Converter of Degree 4. 411-419
• 
  Chonggang Wang, Keping Long, Jian Yang, Shiduan Cheng: An Effective Feedback Control Mechanism for DiffServ Architecture. 420-431
• 
  Hong Mei, Lu Zhang, Fuqing Yang: A Component-Based Software Configuration Management Model and Its Supporting System. 432-441
• 
  Jianhui Li, Binyu Zang, Rong Wu, Chuanqi Zhu: Run-Time Data-Flow Analysis. 442-449
• 
  Dongxi Liu, Xiaoyong Li, Yingcai Bai: An Attack-Finding Algorithm for Security Protocols. 450-463

• 
  Xuan Qi, Huiping Zhou, Huowang Chen: An Interlingua-Based Chinese-English MT System. 464-472
• 
  Guofu Wei, Falai Chen: Four-Point Wavelets and Their Applications. 473-480
• 
  Dianxun Shuai, Zhidong Deng: A New Algebraic Modelling Approach to Distributed Problem-Solving in MAS. 481-490
• 
  Jie Hao, Xing Li: Word Spotting Based on a posterior Measure of Keyword Confidence. 491-497
• 
  Guiqing Li, Hua Li: Blending Parametric Patches with Subdivision Surfaces. 498-506

• 
  Zaiyue Zhang, Yuefei Sui: The Contiguity in R/M. 507-511
• 
  Ruofeng Tong, Jinxiang Dong: A Hybrid Model for Smoke Simulation. 512-516
• 
  Zhongxiao Hao, Chunlong Yao: The Existence Condition of r-Acyclic Database Schemes with MVDs Constraints. 517-521

Volume 17, Number 5, September 2002

• 
  Cungen Cao, Qiangze Feng, Ying Gao, Fang Gu, Jinxin Si, Yuefei Sui, Wen Tian, Haitao Wang, Lili Wang, Qingtian Zeng, Chunxia Zhang, Yufei Zheng, Xiaobin Zhou: Progress in the Development of National Knowledge Infrastructure. 523-534
• 
  Ruqian Lu, Zhi Jin: Formal Ontology: Foundation of Domain Knowledge Sharing and Reusing. 535-548
• 
  Ling Zhang, Bo Zhang: Relationship Between Support Vector Set and Kernel Functions in SVM. 549-555
• 
  Jiaqi Wang, Qing Tao, Jue Wang: Kernel Projection Algorithm for Large-Scale SVM Problems. 556-564
• 
  Xiaolong Zhang, Masayuki Numao: Toward Effective Knowledge Acquisition with First-Order Logic Induction. 565-577
• 
  Kai Zhao, Jue Wang: A Reduction Algorithm Meeting Users' Requirements. 578-593
• 
  Haofeng Zhao, Jianqiu Zhu, Yangyong Zhu, Baile Shi: ARMiner: A Data Mining Tool Based on Association Rules. 594-602
• 
  Jianwu Yang, Xiaoou Chen: A Semi-Structured Document Model for Text Mining. 603-610
• 
  Zengyou He, Xiaofei Xu, Shengchun Deng: Squeezer: An Efficient Algorithm for Clustering Categorical Data. 611-624
• 
  Feng Yu, Shan Wang: Compressed Data Cube for Approximate OLAP Query Processing. 625-635
• 
  Wen Tian, Fang Gu, Cungen Cao: Designing a Top-Level Ontology of Human Beings: A Multi-Perspective Approach. 636-656
• 
  Hong Zheng, Ruqian Lu, Zhi Jin, Sikang Hu: Ontology-Based Semantic Cache in AOKB. 657-664

Volume 17, Number 6, November 2002

• 
  Huimin Lin: A Graphical mu-Calculus and Local Model Checking. 665-671
• 
  Tom Head, Xia Chen, Masayuki Yamamura, Susannah Gal: Aqueous Computing: A Survey with an Invitation to Participate. 672-681
• 
  Ren-ji Tao, Shihua Chen: Structure of Weakly Invertible Semi-Input-Memory Finite Automata with Delay 2. 682-688
• 
  Yong Li, Dang Van Hung: Checking Temporal Duration Properties of Timed Automata. 689-698
• 
  Sheqin Dong, Shuo Zhou, Xianlong Hong, Chung-Kuan Cheng, Jun Gu, Yici Cai: An Optimum Placement Search Algorithm Based on Extended Corner Block List. 699-707
• 
  Ruiqi Lian, Zhaoqing Zhang, Ruliang Qiao: Automatic Generation of Interprocedural Data-Flow Analyzers and Optimizers. 708-717
• 
  Zhaoxuan Shen, Jong Ching Chuen: Lower Bound Estimation of Hardware Resources for Scheduling in High-Level Synthesis. 718-730
• 
  Hafizur Rahaman, Debesh K. Das, Bhargab B. Bhattacharya: BIST Design for Detecting Multiple Stuck-Open Faults in CMOS Circuits Using Transition Count. 731-737
• 
  Zhou Chong, Yongqiang Sun: SPMH: A Solution to the Problem of Malicious Hosts. 738-748
• 
  Dong Zheng, Kefei Chen, Jinyuan You: Multiparty Authentication Services and Key Agreement Protocols with Semi-Trusted Third Party. 749-756
• 
  Hong Mei, Tao Xie, Fuqing Yang: A Model-Based Approach to Object-Oriented Software Metrics. 757-769
• 
  Changjun Jiang, Huaiqing Wang, Shaoyi Liao: Behavior Relativity of Petri Nets. 770-780
• 
  Yong He, Shengyi Cai: Semi-Online Scheduling with Machine Cost. 781-787
• 
  Guodong Li, Defu Zhang: Distributing and Scheduling Divisible Task on Parallel Communicating Processors. 788-796
• 
  Zongwei Lu, Zhenghui Lin, Houpeng Chen: Variables Bounding Based Retiming Algorithm. 797-806
• 
  Aoying Zhou, Weining Qian, Hailei Qian: Clustering DTDs: An Interactive Two-Level Approach. 807-819
• 
  Xianxian Li, Jinpeng Huai: Efficient Non-Repudiation Multicast Source Authentication Schemes. 820-829
• 
  Xiaofeng Chen, Changjie Wang, Yumin Wang: Fair Electronic Cash Based on Double Signatur. 830-835
• 
  Fangguo Zhang, Futai Zhang, Yumin Wang: Selection of Secure Hyperelliptic Curves of g_2 Based on a Subfield. 836-842
• 
  Kyu-Yeul Lee, Doo-Yeoun Cho, Tae Wan Kim: A Tracing Algorithm for Surface-Surface Intersections on Surface Boundaries. 843-850
• 
  Kaihuai Qin, Zhengyi Chang, Huawei Wang, Denggao Li: Physics-Based Loop Surface Modeling. 851-858
• 
  Qingshan Liu, Songde Ma, Hanqing Lu: Head Tracking Using Shapes and Adaptive Color Histograms. 859-864
• 
  Fan Yun, Runsheng Wang: An Image Retrieval Method Using DCT Features. 865-873
• 
  Huaizhong Lin, Chun Chen: Optimistic Voting for Managing Replicated Data. 874-881
• 
  S. H. Lo, Liu Jianfei: Automatic Mesh Generation on a Regular Background Grid. 882-887
• 
  Zhengding Lu, Li Chunlin, Li Layuan: Coordinating Mobile Agents by the XML-Based Tuple Space. 888-900
• 
  Zhang Lei, Xiaoyong Du, Shan Wang: A Personalized Information Dissemination System Based on How-Net. 901-907
• 
  Chuanfeng Chen, Zengzhi Li, Yazhe Tang, Kangping Liu: Internet Network Resource Information Model. 908-914
• 
  Jianhua Li, Xiaolong Wang: Combining Trigram and Automatic Weight Distribution in Chinese Spelling Error Correction. 915-923
• 
  Yan Pengju, Zheng Fang, Sun Hui: Spontaneous Speech Parsing in Travel Information Inquiring and Booking Systems. 924-932
• 
  Sujian Li, Jian Zhang, Huang Xiong, Shuo Bai, Qun Liu: Semantic Computation in a Chinese Question-Answering System. 933-939

last updated on Thu May 23 04:25:40 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page