| 1 | -- | 2 | Zhiwei Xu. Preface |
| 3 | -- | 17 | Benjamin W. Wah, Zhe Wu. Penalty Formulations and Trap-Avoidance Strategies for Solving Hard Satisfiability Problems |
| 18 | -- | 37 | Jian-Er Chen. Parameterized Computation and Complexity: A New Approach Dealing with NP-Hardness |
| 38 | -- | 47 | Xiaowei Li, Guanghui Li, Ming Shao. Formal Verification Techniques Based on Boolean Satisfiability Problem |
| 48 | -- | 54 | Zhi-Hua Zhou, Yang Yu. Adapt Bagging to Nearest Neighbor Classifiers |
| 55 | -- | 62 | Shan Wang, Kunlong Zhang. Searching Databases with Keywords |
| 63 | -- | 69 | Joong Hyuk Chang, Won Suk Lee. Effect of Count Estimation in Finding Frequent Itemsets over Online Transactional Data Streams |
| 70 | -- | 76 | David Zhang, Guangming Lu, Adams Wai-Kin Kong, Michael Wong. Online Palmprint Identification System for Civil Applications |
| 77 | -- | 89 | Ligang Liu, Bo Zhang, Baining Guo, Heung-Yeung Shum. Polygonal Shape Blending with Topological Evolutions |
| 90 | -- | 94 | Ling Zhang, Bo Zhang. A Quotient Space Approximation Model of Multiresolution Signal Analysis |
| 95 | -- | 104 | Huimin Lin. Predicate µ-Calculus for Mobile Ambients |
| 105 | -- | 177 | Wen Gao, Lionel M. Ni, Zhiwei Xu, S. C. Cheung, Li Cui, Qiong Luo. BLOSSOMS: Building Lightweight Optimized Sensor Systems on a Massive Scale |
| 118 | -- | 124 | Swapan Bhattacharya, Anirban Banerjee, Shibdas Bandyopadhyay. CORBA-Based Analysis of Multi Agent Behavior |
| 125 | -- | 133 | Xiaobing Feng 0002, Li Chen, Yiran Wang, Xiao-Mi An, Lin Ma, Chun-Lei Sang, Zhaoqing Zhang. Integrating Parallelizing Compilation Technologies for SMP Clusters |
| 134 | -- | 140 | Changjun Jiang, Zhaohui Zhang, Guosun Zeng, Hong-Zhong Chen, Duo-Qian Miao, Yu Fang, Xiaofeng Tao, Qing Zhi, Feng Yue, Yang Luo, Anqing Zhou, Lin Chen, Lei Liu. Urban Traffic Information Service Application Grid |
| 141 | -- | 143 | Andrew A. Chien, Xian-He Sun, Zhiwei Xu. Viewpoints on Grid Standards |
| 144 | -- | 145 | Jian Pei. Book Review on Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists |