| 402 | -- | 408 | Tao Jiang, Ming Li, Paul M. B. Vitányi. Average-Case Analysis of Algorithms Using Kolmogorov Complexity |
| 409 | -- | 415 | Xumin Nie, Qing Guo. Renaming a Set of Non-Horn Clauses |
| 416 | -- | 422 | Sui-Xiang Gao, Guo-Hui Lin. Decision Tree Complexity of Graph Properties with Dimension at Most 5 |
| 423 | -- | 429 | Jianhua Zhao, Dang Van Hung. Checking Timed Automata for Linear Duration Properties |
| 430 | -- | 438 | Dongmo Zhang, Zhaohui Zhu, Shifu Chen. Default Reasoning and Belief Revision: A Syntax-Independent Approach |
| 439 | -- | 444 | Tian Liu. Some Structural Properties of SAT |
| 445 | -- | 452 | Hong Jinwei, Guoliang Chen, Zhaoqing Zhang. Supporting Flexible Data Distribution in Software DSMs |
| 453 | -- | 460 | Xianghui Xie, Chengde Han. Limited Multiple-Writer: An Approach to Dealing with False Sharing in Software DSMs |
| 461 | -- | 471 | Zheng Fang, Wu Jian, Zhanjiang Song. Improving the Syllable-Synchronous Network Search Algorithm for Word Decoding in Continuous Chinese Speech Recognition |
| 472 | -- | 479 | Xiaowei Li, Paul Y. S. Cheung. Exploiting Deterministic TPG for Path Delay Testing |
| 480 | -- | 484 | Xicheng Liu, Timothy J. Li. Implementation of a Prototype VoIP System |
| 485 | -- | 490 | Xu Lin, Wen Gao. Study on Translating Chinese into Chinese Sign Language |
| 491 | -- | 0 | Feng Jing, Ma Xiaojun, Gu Boxuan, Guanqun Gu. An Aided Tool for Enterprise Network Design |