Journal of Computer Science and Technology 2009 Issue 1 Preface

Home | Survey | Payment| Talks & Presentations | Job Opportunities

Journals A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Journal of Computer Science and Technology
1000-9000
2009 Issue 1

Preface
Prof. Qun-Sheng Peng;

..............page:1

Space Deformations, Surface Deformations and the Opportunities In-Between
Daniel Cohen-Or;

..............page:2-5

Gradient Domain Mesh Deformation — A Survey
Wei-Wei Xu;

..............page:6-18

Fixing Geometric Errors on Polygonal Models: A Survey
Tao Ju;

..............page:19-29

Spherical Parameterization of Marching Cubes IsoSurfaces Based upon Nearest Neighbor Coordinates
Gregory M. Nielson;

..............page:30-38

Loop Subdivision Surface Based Progressive Interpolation
Fu-Hua (Frank) Cheng;

..............page:39-46

Rigidity Constraints for Large Mesh Deformation
Yong Zhao;

..............page:47-55

An Algorithm for Constructing 3D Struts
George W. Hart;

..............page:56-64

Evaluation for Small Visual Difference Between Conforming Meshes on Strain Field
Zhe Bian;

..............page:65-75

An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs
Sa’ed Abed;

..............page:76-95

Improved Bounded Model Checking for the Universal Fragment of CTL
Liang Xu;

..............page:96-109

Certifying Concurrent Programs Using Transactional Memory
Long Li;

..............page:110-121

Expressing First-Order π-Calculus in Higher-Order Calculus of Communicating Systems
Xian Xu;

..............page:122-137

n PAKE+: A Tree-Based Group Password-Authenticated Key Exchange Protocol Using Different Passwords
Zhiguo Wan;

..............page:138-151

SRF Coloring: Stream Register File Allocation via Graph Coloring
Xue-Jun Yang;

..............page:152-164

Summarizing Vocabularies in the Global Semantic Web
Xiang Zhang;

..............page:165-174