Space Deformations, Surface Deformations and the Opportunities In-Between Daniel Cohen-Or Survey 01 March 2009 Pages: 2 - 5
Spherical Parameterization of Marching Cubes IsoSurfaces Based upon Nearest Neighbor Coordinates Gregory M. NielsonLi-Yan ZhangAdam Huang Regular Paper 01 March 2009 Pages: 30 - 38
Loop Subdivision Surface Based Progressive Interpolation Fu-Hua (Frank) ChengFeng-Tao FanJun-Hai Yong Regular Paper 01 March 2009 Pages: 39 - 46
Rigidity Constraints for Large Mesh Deformation Yong ZhaoXin-Guo LiuHu-Jun Bao Regular Paper 01 March 2009 Pages: 47 - 55
Evaluation for Small Visual Difference Between Conforming Meshes on Strain Field Zhe BianShi-Min HuRalph R. Martin Regular Paper 01 March 2009 Pages: 65 - 75
An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs Sa’ed AbedOtmane Ait MohamedGhiath Al-Sammane Regular Paper 01 March 2009 Pages: 76 - 95
Improved Bounded Model Checking for the Universal Fragment of CTL Liang XuWei ChenWen-Hui Zhang Regular Paper 01 March 2009 Pages: 96 - 109
Certifying Concurrent Programs Using Transactional Memory Long LiYu ZhangYong Li Regular Paper 01 March 2009 Pages: 110 - 121
Expressing First-Order π-Calculus in Higher-Order Calculus of Communicating Systems Xian Xu Regular Paper 01 March 2009 Pages: 122 - 137
nPAKE+: A Tree-Based Group Password-Authenticated Key Exchange Protocol Using Different Passwords Zhiguo WanRobert H. DengMing Gu Regular Paper 01 March 2009 Pages: 138 - 151
SRF Coloring: Stream Register File Allocation via Graph Coloring Xue-Jun YangYu DengTao Tang Regular Paper 01 March 2009 Pages: 152 - 164
Summarizing Vocabularies in the Global Semantic Web Xiang ZhangGong ChengYu-Zhong Qu Short Paper 01 March 2009 Pages: 165 - 174
Multistage Off-Line Permutation Packet Routing on a Mesh: An Approach with Elementary Mathematics Kevin ChiewYingjiu Li Short Paper 01 March 2009 Pages: 175 - 180