1 | -- | 9 | Huimin Lin. Computing Bisimulations for Finite-Control pi-Calculus |
10 | -- | 26 | Ren-ji Tao, Shihua Chen. Constructing Finite Automata with Invertibility by Transformation Method |
27 | -- | 36 | Wei Sun. Multi-Volume CAD Modeling for Heterogeneous Object Design and Fabrication |
37 | -- | 46 | Taosong He. Volumetric Virtual Environments |
47 | -- | 55 | Xing Changyu, Jizhou Sun, Richard L. Grimsdale. An Accelerated Incremental Radiosity Algorithm |
56 | -- | 63 | Shuming Gao, Huagen Wan, Qunsheng Peng. Constraint-Based Virtual Solid Modeling |
64 | -- | 72 | Yu Huang, Guangyou Xu, Yuanxin Zhu. Extraction of Spatial-Temporal Features for Vision-Based Gesture Recognition |
73 | -- | 83 | Weisong Shi, Zhimin Tang, Shi Jinsong. Using Confidence Interval to Summarize the Evaluating Results of DSM Systems |
84 | -- | 95 | Liang Yu, Li Shu, Hui Zhang, Chengde Han. Timing-Sequence Testing of Parallel Programs |
96 | -- | 99 | Ma Jun, Bo Yang, Shaohan Ma. A Practical Algorithm for the Minimum Rectilinear Steiner Tree |
100 | -- | 0 | Huagen Wan, Xiaogang Jin, Hujun Bao. Direct 3D Painting with a Metaball-Based Paintbrush |