Volume 17,
Number 1,
January 2002
Regular Papers
Correspondence
- Xuandong Li, Wenkai Tan, Guoliang Zheng:
Checking MSC Specifications for Timing Inconsistency.
47-55
Electronic Edition (link) BibTeX
- Guoqing Wu, Fengdi Shu, Min Wang, Weiqing Chen:
Requirements Specifications Checking of Embedded Real-Time Software.
56-63
Electronic Edition (link) BibTeX
- Jin Ying, Chengzhi Jin:
Constraint-Based Partial Evaluation for Imperative Languages.
64-72
Electronic Edition (link) BibTeX
- Yuxi Fu:
Testing Congruence for Mobile Processes.
73-82
Electronic Edition (link) BibTeX
- Wang Fan, Zheng Fang, Wu Wenhu:
Speech Detection in Non-Stationary Noise Based on the 1/f Process.
83-89
Electronic Edition (link) BibTeX
- Zhang Feng, Guoliang Chen, Zhaoqing Zhang:
OpenMP on Networks of Workstations for Software DSMs.
90-100
Electronic Edition (link) BibTeX
Notes
Volume 17,
Number 2,
March 2002
Regular Papers
Correspondence
- Hongyan Liu, Hongjun Lu, Jian Chen:
A Fast Scalable Classifier Tightly Integrated with RDBMS.
152-159
Electronic Edition (link) BibTeX
- Bo Yang, Fengzhou Zheng, Dingxing Wang, Weimin Zheng:
Interactive and Symbolic Data Dependence Analysis Based on Ranges of Expressions.
160-171
Electronic Edition (link) BibTeX
- Zhenchun Huang, Sanli Li:
IPULOC - Exploring Dynamic Program Locality with the Instruction Processing Unit for Filling Memory Gap.
172-180
Electronic Edition (link) BibTeX
- Mohammed Al-Rawi, Jie Yang:
Practical Fast Computation of Zernike Moments.
181-188
Electronic Edition (link) BibTeX
- Wangqiang Wei, Wen Gao:
Automatic Segmentation of News Items Based on Video and Audio Features.
189-195
Electronic Edition (link) BibTeX
- Zhong Lin, Liu Jia, Liu Runsheng:
A Rejection Model Based on Multi-Layer Perceptrons for Mandarin Digit Recognition.
196-202
Electronic Edition (link) BibTeX
- Huaguo Liang, Sybille Hellebrand, Hans-Joachim Wunderlich:
A Mixed-Mode BIST Scheme Based on Folding Compression.
203-212
Electronic Edition (link) BibTeX
Notes
- Xiaodong Gu, Guoliang Chen, Yinlong Xu:
Deep Performance Analysis of Refined Harmonic Bin Packing Algorithm.
213-218
Electronic Edition (link) BibTeX
- Ke Xu, Jianping Wu, Zhongchao Yu, Mingwei Xu:
A Non-Collision Hash Trie-Tree Based Fast IP Classification Algorithm.
219-226
Electronic Edition (link) BibTeX
- Xiaolin Zhang, Yuhong Wang, Jieyi Wu:
A Rate-Based Flow Control Mechanism for Avoiding Congestion.
227-235
Electronic Edition (link) BibTeX
- Yisong Chen, Jian Lu, Zhengxing Sun, Fuyan Zhang:
Greylevel Difference Classification Algorithm in Fractal Image Compression.
236-
Electronic Edition (link) BibTeX
Volume 17,
Number 3,
May 2002
Regular Papers
- Qingshi Gao, Yue Hu, Lei Li, Xu Chen, Honglan Liu:
A Novel Computer Architecture to Prevent Destruction by Viruses.
241-248
Electronic Edition (link) BibTeX
- Zheng Fang, Zhanjiang Song, Pascale Fung, William J. Byrne:
Mandarin Pronunciation Modeling Based on CASS Corpus.
249-263
Electronic Edition (link) BibTeX
- Yixin Zhao, Jianping Wu, Xia Yin:
From Active to Passive - Progress in Testing Internet Routing Protocols.
264-283
Electronic Edition (link) BibTeX
- Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang:
An Algebraic Hardware/Software Partitioning Algorithm.
284-294
Electronic Edition (link) BibTeX
- Cungen Cao:
Extracting and Sharing Knowledge from Medical Texts.
295-303
Electronic Edition (link) BibTeX
- Aoying Zhou, Wei Li, Yu Fang:
Effective Discovery of Exception Class Association Rules.
304-313
Electronic Edition (link) BibTeX
Correspondence
- Xiaobo Peng, Liping Chen, Fanli Zhou, Ji Zhou:
Singularity Analysis of Geometric Constraint Systems.
314-323
Electronic Edition (link) BibTeX
- Xiaojun Wu, Jing-Yu Yang, Shitong Wang, Yue-Fei Guo, Qiying Gao:
A New Algorithm for Generalized Optimal Discriminant Vectors.
324-330
Electronic Edition (link) BibTeX
- Ji Gao, Donghao Lin:
Agent Cooperation Based Control Integration by Activity-Sharing and Joint Intention.
331-339
Electronic Edition (link) BibTeX
- Wenqi Huang, Defu Zhang, Wang Houxiang:
An Algorithm Based on Tabu Search for Satisfiability Problem.
340-346
Electronic Edition (link) BibTeX
- Jin Wang, Hujun Bao, Weihua Zhou, Qunsheng Peng, Yingqing Xu:
Automatic Image-Based Pencil Sketch Rendering.
347-355
Electronic Edition (link) BibTeX
Notes
Volume 17,
Number 4,
July 2002
Regular Papers
- Ren-ji Tao, Shihua Chen:
Structure of Weakly Invertible Semi-Input-Memory Finite Automata with Delay 1.
369-376
Electronic Edition (link) BibTeX
- Xiaofeng Meng, Hongjun Lu, Haiyan Wang, Mingzhe Gu:
Data Extraction from the Web Based on Pre-Defined Schema.
377-388
Electronic Edition (link) BibTeX
- Zhiming Ding, Xiaofeng Meng, Shan Wang:
A Transactional Asynchronous Replication Scheme for Mobile Database Systems.
389-396
Electronic Edition (link) BibTeX
- Huadong Ma, Kang G. Shin:
Hybrid Broadcast for the Video-on-Demand Service.
397-410
Electronic Edition (link) BibTeX
- Yinlong Xu, Guoliang Chen, Liusheng Huang, Yingyu Wan:
Optimal Bandwidth Utilization of All-Optical Ring with a Converter of Degree 4.
411-419
Electronic Edition (link) BibTeX
- Chonggang Wang, Keping Long, Jian Yang, Shiduan Cheng:
An Effective Feedback Control Mechanism for DiffServ Architecture.
420-431
Electronic Edition (link) BibTeX
- Hong Mei, Lu Zhang, Fuqing Yang:
A Component-Based Software Configuration Management Model and Its Supporting System.
432-441
Electronic Edition (link) BibTeX
- Jianhui Li, Binyu Zang, Rong Wu, Chuanqi Zhu:
Run-Time Data-Flow Analysis.
442-449
Electronic Edition (link) BibTeX
- Dongxi Liu, Xiaoyong Li, Yingcai Bai:
An Attack-Finding Algorithm for Security Protocols.
450-463
Electronic Edition (link) BibTeX
Correspondence
Notes
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
Electronic Edition (link) BibTeX
- Ruqian Lu, Zhi Jin:
Formal Ontology: Foundation of Domain Knowledge Sharing and Reusing.
535-548
Electronic Edition (link) BibTeX
- Ling Zhang, Bo Zhang:
Relationship Between Support Vector Set and Kernel Functions in SVM.
549-555
Electronic Edition (link) BibTeX
- Jiaqi Wang, Qing Tao, Jue Wang:
Kernel Projection Algorithm for Large-Scale SVM Problems.
556-564
Electronic Edition (link) BibTeX
- Xiaolong Zhang, Masayuki Numao:
Toward Effective Knowledge Acquisition with First-Order Logic Induction.
565-577
Electronic Edition (link) BibTeX
- Kai Zhao, Jue Wang:
A Reduction Algorithm Meeting Users' Requirements.
578-593
Electronic Edition (link) BibTeX
- Haofeng Zhao, Jianqiu Zhu, Yangyong Zhu, Baile Shi:
ARMiner: A Data Mining Tool Based on Association Rules.
594-602
Electronic Edition (link) BibTeX
- Jianwu Yang, Xiaoou Chen:
A Semi-Structured Document Model for Text Mining.
603-610
Electronic Edition (link) BibTeX
- Zengyou He, Xiaofei Xu, Shengchun Deng:
Squeezer: An Efficient Algorithm for Clustering Categorical Data.
611-624
Electronic Edition (link) BibTeX
- Feng Yu, Shan Wang:
Compressed Data Cube for Approximate OLAP Query Processing.
625-635
Electronic Edition (link) BibTeX
- Wen Tian, Fang Gu, Cungen Cao:
Designing a Top-Level Ontology of Human Beings: A Multi-Perspective Approach.
636-656
Electronic Edition (link) BibTeX
- Hong Zheng, Ruqian Lu, Zhi Jin, Sikang Hu:
Ontology-Based Semantic Cache in AOKB.
657-
Electronic Edition (link) BibTeX
Volume 17,
Number 6,
November 2002
- Huimin Lin:
A Graphical mu-Calculus and Local Model Checking.
665-671
Electronic Edition (link) BibTeX
- Tom Head, Xia Chen, Masayuki Yamamura, Susannah Gal:
Aqueous Computing: A Survey with an Invitation to Participate.
672-681
Electronic Edition (link) BibTeX
- Ren-ji Tao, Shihua Chen:
Structure of Weakly Invertible Semi-Input-Memory Finite Automata with Delay 2.
682-688
Electronic Edition (link) BibTeX
- Yong Li, Dang Van Hung:
Checking Temporal Duration Properties of Timed Automata.
689-698
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Ruiqi Lian, Zhaoqing Zhang, Ruliang Qiao:
Automatic Generation of Interprocedural Data-Flow Analyzers and Optimizers.
708-717
Electronic Edition (link) BibTeX
- Zhaoxuan Shen, Jong Ching Chuen:
Lower Bound Estimation of Hardware Resources for Scheduling in High-Level Synthesis.
718-730
Electronic Edition (link) BibTeX
- Hafizur Rahaman, Debesh K. Das, Bhargab B. Bhattacharya:
BIST Design for Detecting Multiple Stuck-Open Faults in CMOS Circuits Using Transition Count.
731-737
Electronic Edition (link) BibTeX
- Zhou Chong, Yongqiang Sun:
SPMH: A Solution to the Problem of Malicious Hosts.
738-748
Electronic Edition (link) BibTeX
- Dong Zheng, Kefei Chen, Jinyuan You:
Multiparty Authentication Services and Key Agreement Protocols with Semi-Trusted Third Party.
749-756
Electronic Edition (link) BibTeX
- Hong Mei, Tao Xie, Fuqing Yang:
A Model-Based Approach to Object-Oriented Software Metrics.
757-769
Electronic Edition (link) BibTeX
- Changjun Jiang, Huaiqing Wang, Shaoyi Liao:
Behavior Relativity of Petri Nets.
770-780
Electronic Edition (link) BibTeX
- Yong He, Shengyi Cai:
Semi-Online Scheduling with Machine Cost.
781-787
Electronic Edition (link) BibTeX
- Guodong Li, Defu Zhang:
Distributing and Scheduling Divisible Task on Parallel Communicating Processors.
788-796
Electronic Edition (link) BibTeX
- Zongwei Lu, Zhenghui Lin, Houpeng Chen:
Variables Bounding Based Retiming Algorithm.
797-806
Electronic Edition (link) BibTeX
- Aoying Zhou, Weining Qian, Hailei Qian:
Clustering DTDs: An Interactive Two-Level Approach.
807-819
Electronic Edition (link) BibTeX
- Xianxian Li, Jinpeng Huai:
Efficient Non-Repudiation Multicast Source Authentication Schemes.
820-829
Electronic Edition (link) BibTeX
- Xiaofeng Chen, Changjie Wang, Yumin Wang:
Fair Electronic Cash Based on Double Signatur.
830-835
Electronic Edition (link) BibTeX
- Fangguo Zhang, Futai Zhang, Yumin Wang:
Selection of Secure Hyperelliptic Curves of g_2 Based on a Subfield.
836-842
Electronic Edition (link) BibTeX
- Kyu-Yeul Lee, Doo-Yeoun Cho, Tae Wan Kim:
A Tracing Algorithm for Surface-Surface Intersections on Surface Boundaries.
843-850
Electronic Edition (link) BibTeX
- Kaihuai Qin, Zhengyi Chang, Huawei Wang, Denggao Li:
Physics-Based Loop Surface Modeling.
851-858
Electronic Edition (link) BibTeX
- Qingshan Liu, Songde Ma, Hanqing Lu:
Head Tracking Using Shapes and Adaptive Color Histograms.
859-864
Electronic Edition (link) BibTeX
- Fan Yun, Runsheng Wang:
An Image Retrieval Method Using DCT Features.
865-873
Electronic Edition (link) BibTeX
- Huaizhong Lin, Chun Chen:
Optimistic Voting for Managing Replicated Data.
874-881
Electronic Edition (link) BibTeX
- S. H. Lo, Liu Jianfei:
Automatic Mesh Generation on a Regular Background Grid.
882-887
Electronic Edition (link) BibTeX
- Zhengding Lu, Li Chunlin, Li Layuan:
Coordinating Mobile Agents by the XML-Based Tuple Space.
888-900
Electronic Edition (link) BibTeX
- Zhang Lei, Xiaoyong Du, Shan Wang:
A Personalized Information Dissemination System Based on How-Net.
901-907
Electronic Edition (link) BibTeX
- Chuanfeng Chen, Li Zengzhi, Yazhe Tang, Kangping Liu:
Internet Network Resource Information Model.
908-914
Electronic Edition (link) BibTeX
- Jianhua Li, Xiaolong Wang:
Combining Trigram and Automatic Weight Distribution in Chinese Spelling Error Correction.
915-923
Electronic Edition (link) BibTeX
- Yan Pengju, Zheng Fang, Sun Hui:
Spontaneous Speech Parsing in Travel Information Inquiring and Booking Systems.
924-932
Electronic Edition (link) BibTeX
- Sujian Li, Jian Zhang, Huang Xiong, Shuo Bai, Qun Liu:
Semantic Computation in a Chinese Question-Answering System.
933-
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:08:20 2009
by Michael Ley (ley@uni-trier.de)
