Journal of Computer Science and Technology, Volume 21

Volume 21, Number 1, January 2006

• Xin Yao, Yong Xu:
  Recent Advances in Evolutionary Computation. 1-18
  
• Katerina Asdre, Stavros D. Nikolopoulos:
  P-Tree Structures and Event Horizon: Efficient Event-Set Implementations. 19-26
  
• Qi Ge, Haitao Wang, Hong Zhu:
  An Improved Algorithm for Finding the Closest Pair of Points. 27-31
  
• Zhi Jin:
  Revisiting the Meaning of Requirements. 32-40
  
• Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng:
  Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking. 41-51
  
• Cuiping Li, Shan Wang:
  Efficient Incremental Maintenance for Distributive and Non-Distributive Aggregate Functions. 52-65
  
• Xing-Qi Huang, Lifu Wang, Wen Zhao, Shikun Zhang, Chong-Yi Yuan:
  A Workflow Process Mining Algorithm Based on Synchro-Net. 66-71
  
• Wei-Qiang Xu, Tie-Jun Wu:
  TCP Issues in Mobile Ad Hoc Networks: Challenges and Solutions. 72-81
  
• Wenling Wu:
  Pseudorandomness of Camellia-Like Scheme. 82-88
  
• Heng-Chang Liu, Bao-Hua Zhao:
  A Near-Optimal Optimization Algorithm for Link Assignment in Wireless Ad-Hoc Networks. 89-94
  
• Jianwu Dang, Masato Akagi, Kiyoshi Honda:
  Communication Between Speech Production and Perception Within the Brain-Observation and Simulation. 95-105
  
• Jing Li, Thomas Zheng, William Byrne, Daniel Jurafsky:
  A Dialectal Chinese Speech Recognition Framework. 106-115
  
• Xin Geng, Zhi-Hua Zhou:
  Image Region Selection and Ensemble for Face Recognition. 116-125
  
• Zhongxuan Liu, Shiguo Lian, Zhen Ren:
  Quaternion Diffusion for Color Image Filtering. 126-136
  
• Jian Yu, Cui-Xia Li:
  Novel Cluster Validity Index for FCM Algorithm. 137-140
  
• Ehsan Atoofian, Zainalabedin Navabi:
  A Test Approach for Look-Up Table Based FPGAs. 141-146
  
• Yu Hu, Tong Jing, Zhe Feng, Xianlong Hong, Xiaodong Hu, Guiying Yan:
  ACO-Steiner: Ant Colony Optimization Based Rectilinear Steiner Minimal Tree Algorithm. 147-152
  

Volume 21, Number 2, March 2006/

• Ling Li, Vasily Volkov:
  Inflatable Models. 154-158
  
• Thomas Luft, Oliver Deussen:
  Real-Time Watercolor for Animation. 159-165
  
• Wei Hu, Kaihuai Qin, Huawei Wang, Ya-Feng Li:
  Reflection and Refraction on Implicit Surfaces. 166-172
  
• How Teo, Kok Wong:
  Texture Pattern Generation Using Clonal Mosaic. 173-180
  
• Wencheng Wang, Feng Wei, Enhua Wu:
  View Dependent Sequential Point Trees. 181-188
  
• Jingzhou Yang, R. Marler, Steven Beck, Karim Abdel-Malek, Joo H. Kim:
  Real-Time Optimal Reach-Posture Prediction in a New Interactive Virtual Environment. 189-198
  
• Hongxin Zhang, Ying Tang, Hui Zhao, Hujun Bao:
  Bernoulli Embedding Model and Its Application in Texture Mapping. 199-203
  
• Byounghyun Yoo, Soonhung Han:
  Representation of Urban Buildings Using Modified Relief Mapping. 204-208
  
• Zhanyi Hu, Yihong Wu, Fuchao Wu, Songde Ma:
  The Number of Independent Kruppa Constraints from N Images. 209-217
  
• Xian-Yong Fang, Mingmin Zhang, Zhigeng Pan, Peng Wang:
  A New Method of Manifold Mosaic for Large Displacement Images. 218-223
  
• Yun Zeng, Wei Chen, Qunsheng Peng:
  A Novel Variational Image Model: Towards a Unified Approach to Image Editing. 224-231
  
• Ying He, Xianfeng Gu, Hong Qin:
  Automatic Shape Control of Triangular B-Splines of Arbitrary Topology. 232-237
  
• Yohan D. Fougerolle, Andrei V. Gribok, Sebti Foufou, Frédéric Truchetet, Mongi A. Abidi:
  Radial Supershapes for Solid Modeling. 238-243
  
• Konstantin Melikhov, Feng Tian, Jie Qiu, Quan Chen, Seah Hock Soon:
  DBSC-Based Grayscale Line Image Vectorization. 244-248
  
• Zhou-Wang Yang, Chun-Lin Wu, Jian-Song Deng, Fa-Lai Chen:
  Specification of Initial Shapes for Dynamic Implicit Curve/Surface Reconstruction. 249-254
  
• Joonghyun Ryu, Rhohun Park, Deok-Soo Kim:
  Connolly Surface on an Atomic Structure via Voronoi Diagram of Atoms. 255-260
  
• Caiming Zhang, Hui-Jian Han, Fuhua Cheng:
  Determining Knots by Minimizing Energy. 261-264
  
• Joong-Hyun Rhim, Doo-Yeoun Cho, Kyu-Yeul Lee, Tae Wan Kim:
  Generation of Discrete Bicubic G¹ B-Spline Ship Hullform Surfaces from a Given Curve Network Using Virtual Iso-Parametric Curves. 265-271
  
• Sungchan Kim, Kunwoo Lee, Taesik Hong, Moonki Jung:
  Modeling in Multi-Resolution and Its Applications. 272-278
  
• Joo-Haeng Lee, Hyungjun Park:
  Geometric Properties of Ribs and Fans of a Bézier Curve. 279-283
  
• Zhihong Chong, Jeffrey Xu Yu, Zhengjie Zhang, Xuemin Lin, Wei Wang, Aoying Zhou:
  Efficient Computation of k-Medians over Data Streams Under Memory Constraints. 284-296
  
• Hong-Song Li, Hou-Kuan Huang:
  PMC: Select Materialized Cells in Data Cubes. 297-305
  

Volume 21, Number 3, May 2006

• Feng Wu, Huifang Sun:
  Preface. 305
  
• Cliff Reader:
  AVS Intellectual Property Rights (IPR) Policy. 306-309
  
• Xin-Fu Wang, De-Bin Zhao:
  Performance Comparison of AVS and H.264/AVC Video Coding Standards. 310-314
  
• Qiang Wang, Debin Zhao, Wen Gao:
  Context-Based 2D-VLC Entropy Coder in AVS Video Coding Standard. 315-322
  
• Jian-Wen Chen, Guoping Li, Yun He:
  A Novel MBAFF Scheme of AVS. 323-331
  
• Ye-Kui Wang:
  AVS-M: From Standards to Applications. 332-344
  
• Feng Yi, Qichao Sun, Jie Dong, Lu Yu:
  Low-Complexity Tools in AVS Part 7. 345-353
  
• Siwei Ma, Wen Gao:
  Low Complexity Integer Transform and Adaptive Quantization Optimization. 354-359
  
• Haojun Ai, Shuixian Chen, Ruimin Hu:
  Introduction to AVS Audio. 360-365
  
• Tiejun Huang, Yongliang Liu:
  Basic Considerations on AVS DRM Architecture. 366-369
  
• Junhao Zheng, Lei Deng, Peng Zhang, Don Xie:
  An Efficient VLSI Architecture for Motion Compensation of AVS HDTV Decoder. 370-377
  
• Li Zhang, Don Xie, Di Wu:
  Improved FFSBM Algorithm and Its VLSI Architecture for AVS Video Standard. 378-382
  
• Suqing Han, Jue Wang:
  Second Attribute Algorithm Based on Tree Expression. 383-392
  
• Bo Yang, Dayou Liu:
  Force-Based Incremental Algorithm for Mining Community Structure in Dynamic Network. 393-400
  
• K. Robert Lai, Yi-Yuan Chiang:
  Constraint-Based Fuzzy Models for an Environment with Heterogeneous Information-Granules. 401-411
  
• Jie Wang, Shi-Er Ju, Chunnian Liu:
  Agent-Oriented Probabilistic Logic Programming. 412-417
  
• Franz Weitl, Burkhard Freitag:
  Checking Content Consistency of Integrated Web Documents. 418-429
  
• Sankhayan Choudhury, Nabendu Chaki, Swapan Bhattacharya:
  GDM: A New Graph Based Data Model Using Functional Abstractionx. 430-438
  
• Jun Xu, Yunbo Cao, Hang Li, Min Zhao, Yalou Huang:
  A Supervised Learning Approach to Search of Definitions. 439-449
  
• Jian-Wan Ding, Liping Chen, Fanli Zhou:
  A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models. 450-458
  
• Di Wen, Xiaoqing Ding:
  Visual Similarity Based Document Layout Analysis. 459-465
  

Volume 21, Number 4, July 2006

• Si-Qing Zheng, Ashwin Gumaste:
  Scalable and Practical Nonblocking Switching Networks. 466-475
  
• Jianyang Zeng, Wen-Jing Hsu:
  Optimal Routing in a Small-World Network. 476-481
  
• Lei Shi, Ying-Jie Han, Xiaoguang Ding, Lin Wei, Zhimin Gu:
  An SPN-Based Integrated Model for Web Prefetching and Caching. 482-489
  
• Liusheng Huang, Hongli Xu, Yang Wang, Junmin Wu, Hong Li:
  Coverage and Exposure Paths in Wireless Sensor Networks. 490-495
  
• Hui Tian, Hong Shen, Teruo Matsuzawa:
  Random Walk Routing in WSNs with Regular Topologies. 496-502
  
• Biao Qin, Shan Wang, Xiaoyong Du:
  2DCMA: An Effective Maintenance Algorithm of Materialized Views in Peer Data Management Systems. 503-512
  
• Ian T. Foster:
  Globus Toolkit Version 4: Software for Service-Oriented Systems. 513-520
  
• Satoshi Matsuoka, Masayuki Hatanaka, Yasumasa Nakano, Yuji Iguchi, Toshio Ohno, Kazushige Saga, Hidemoto Nakada:
  Design and Implementation of NAREGI SuperScheduler Based on the OGSA Architecture. 521-528
  
• Feilong Tang, Minglu Li, Joshua Zhexue Huang:
  Automatic Transaction Compensation for Reliable Grid Applications. 529-536
  
• Jing Wang, Li-Yong Zhang, Yanbo Han:
  Client-Centric Adaptive Scheduling of Service-Oriented Applications. 537-546
  
• Xiaoling Wang, Sheng Huang, Aoying Zhou:
  QoS-Aware Composite Services Retrieval. 547-558
  
• Lina Ni, Jinquan Zhang, ChunGang Yan, Changjun Jiang:
  A Heuristic Algorithm for Task Scheduling Based on Mean Load on Grid. 559-564
  
• Gang Huang, Li Zhou, Xuanzhe Liu, Hong Mei, Shing-Chi Cheung:
  Performance Aware Service Pool in Dependable Service Oriented Architecture. 565-573
  
• Bin Xu, Po Zhang, Juan-Zi Li, Wenjun Yang:
  A Semantic Matchmaker for Ranking Web Services. 574-581
  
• Hai Jin, Hao Wu, Xiaomin Ning:
  Facilitating Service Discovery with Semantic Overlay. 582-591
  
• Xueqi Cheng, Songbo Tan, Lilian Tang:
  Using DragPushing to Refine Concept Index for Text Categorization. 592-596
  
• Xiaoqing Zheng, Huajun Chen, Zhaohui Wu, Yuxin Mao:
  Dynamic Query Optimization Approach for Semantic Database Grid. 597-608
  
• Chengchun Shu, Haiyan Yu, Haozhi Liu:
  BEAP: An End-User Agile Programming Paradigm for Business Applications. 609-619
  
• Jingyu Song, Jun Wei, Shuchao Wan, Tao Huang:
  Extending Interactive Web Services for Improving Presentation Level Integration in Web Portals. 620-630
  

Volume 21, Number 5, September 2006

• Wei-Wu Hu, Rui Hou, Jun-Hua Xiao, Long-Bin Zhang:
  High Performance General-Purpose Microprocessors: Past and Future. 631-640
  
• Zhi-Wei Xu, Hao-Jie Zhou, Guo-Jie Li:
  Usability Issues of Grid System Software. 641-647
  
• Dan Feng, Hai Jin:
  Massive Storage Systems. 648-664
  
• Guoliang Chen, Guangzhong Sun, Yun-Quan Zhang, Zeyao Mo:
  Study on Parallel Computing. 665-673
  
• Xuejun Yang, Yong Dou, Qing-Feng Hu:
  Progress and Challenges in High Performance Computer Technology. 674-681
  
• Hong Mei, Donggang Cao, Fuqing Yang:
  Development of Software Engineering: A Research Perspective. 682-696
  
• Kai-Yuan Cai:
  Software Reliability Experimentation and Control. 697-707
  
• Guan-Qun Gu, Jun-Zhou Luo:
  Some Issues on Computer Networks: Architecture and Key Technologies. 708-722
  
• Jianping Wu, Ke Xu:
  Research on Next-Generation Internet Architecture. 723-731
  
• Chuang Lin, Xuehai Peng:
  Research on Network Architecture with Trustworthiness and Controllability. 732-739
  
• Dengguo Feng, Xiaoyun Wang:
  Progress and Prospect of Some Fundamental Research on Information Security in China. 740-755
  
• Wen-Tsun Wu, Xiao-Shan Gao:
  Automated Reasoning and Equation Solving with the Characteristic Set Method. 756-764
  
• Hong Pan, Huimin Lin, Yi Lv:
  Model Checking Data Consistency for Cache Coherence Protocols. 765-775
  
• Runyao Duan, Zheng-Feng Ji, Yuan Feng, Mingsheng Ying:
  Some Issues in Quantum Information Theory. 776-789
  
• Ruqian Lu, Zhi Jin:
  Beyond Knowledge Engineering. 790-799
  
• Zhi-Hua Zhou:
  Multi-Instance Learning from Supervised View. 800-809
  
• Zhong-Zhi Shi, Nan-Ning Zheng:
  Progress and Challenge of Artificial Intelligence. 810-822
  
• Shan Wang, Xiaoyong Du, Xiaofeng Meng, Hong Chen:
  Database Research: Achievements and Challenges. 823-837
  
• Sheng Li, Tiejun Zhao:
  Chinese Information Processing and Its Prospects. 838-846
  
• Xinguo Liu, Hujun Bao, Qunsheng Peng:
  Digital Differential Geometry Processing. 847-860
  
• Jie Tian, Liang Li, Xin Yang:
  Fingerprint-Based Identity Authentication and Digital Media Protection in Network Environment. 861-870
  

Volume 21, Number 6, November 2006

• Wei Wang, Ming Liu, Andrew Hsu:
  Hybrid Nanoelectronics: Future of Computer Technology. 871-886
  
• Chiou-Yng Lee, Jenn-Shyong Horng, I-Chang Jou:
  Low-Complexity Bit-Parallel Multiplier over GF(2^m) Using Dual Basis Representation. 887-892
  
• Huizhan Yi, Xuejun Yang:
  Toward the Optimal Configuration of Dynamic Voltage Scaling Points in Real-Time Applications. 893-900
  
• Ge Zhang, Weiwu Hu, Zichu Qi:
  Parallel Error Detection for Leading Zero Anticipation. 901-906
  
• Gert Jervan, Petru Eles, Zebo Peng, Raimund Ubar, Maksim Jenihhin:
  Test Time Minimization for Hybrid BIST of Core-Based Systems. 907-912
  
• Yici Cai, Bin Liu, Yan Xiong, Qiang Zhou, Xianlong Hong:
  Priority-Based Routing Resource Assignment Considering Crosstalk. 913-921
  
• Yuchun Ma, Xianlong Hong, Sheqin Dong, Chung-Kuan Cheng, Jun Gu:
  General Floorplans with L/T-Shaped Blocks Using Corner Block List. 922-926
  
• Qing Ai, Yan-Song Li, Gui-Lu Long:
  Influences of Gate Operation Errors in the Quantum Counting Algorithm. 927-932
  
• Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xizhong Zheng:
  Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. 932-943
  
• Zhi-Hong Tao, Hans Kleine Büning, Li-Fu Wang:
  Direct Model Checking Matrix Algorithm. 944-949
  
• Shu-Tao Xia:
  A Note on the Stopping Redundancy of Linear Codes. 950-951
  
• Jin-Woo Kim, JuHum Kwon, Young-Gab Kim, Chee-Yang Song, Hyun Seok Kim, Doo-Kwon Baik:
  EAFoC: Enterprise Architecture Framework Based on Commonality. 952-964
  
• Swapan Bhattacharya, Ananya Kanjilal:
  Code Based Analysis for Object-Oriented Systems. 965-972
  
• Guangming Tan, Lin Xu, Dongbo Bu, Shengzhong Feng, Ninghui Sun:
  Improvement of Performance of MegaBlast Algorithm for DNA Sequence Alignment. 973-978
  
• Jianliang Xu, Yun-Xia Liu, Tsunehiro Yoshinaga:
  A Note on Non-Closure Property of Sublogarithmic Space-Bounded 1-Inkdot Alternating Pushdown Automata with Only Existential (Universal) States. 979-983
  
• Yiwei Jiang, Yong He:
  Semi-Online Algorithms for Scheduling with Machine Cost. 984-988
  
• Nam-Sup Park, Chong-Sun Hwang:
  Effective I/O Scheme Based on RTP for Multimedia Communication Systems. 989-996
  
• Yueh-Min Huang, Hua-Yi Lin, Tzone-I Wang:
  Inter-Cluster Routing Authentication for Ad Hoc Networks by a Hierarchical Key Scheme. 997-1011
  
• Wenjie Li, Bin Liu, Yang Xu, Heng Liao:
  Parallel Switch System with QoS Guarantee for Real-Time Traffic. 1012-1021
  
• Qi-Jin Ji, Yong-Qiang Dong:
  Design and Analysis of a Multiscale Active Queue Management Scheme. 1022-1030
  
• Chuanlin Zhang, Kam-yiu Lam, Weijia Jia:
  Bandwidth Reservation Using Velocity and Handoff Statistics for Cellular Networks. 1031-1039