We use cookies to improve your experience with our site.
All
Title
Author
Keyword
Abstract
DOI
Category
Address
Fund
Advanced Search
All
Title
Author
Keyword
Abstract
DOI
Category
Address
Fund
PACS
EEACC
Select articles
Space Deformations, Surface Deformations and the Opportunities In-Between
Certifying Concurrent Programs Using Transactional Memory
Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems
nPAKE^+: A Tree-Based Group Password-Authenticated Key Exchange Protocol Using Different Passwords
SRF Coloring: Stream Register File Allocation via Graph Coloring
Summarizing Vocabularies in the Global Semantic Web
Multistage Off-Line Permutation Packet Routing on a Mesh: An Approach with Elementary Mathematics
Fixing Geometric Errors on Polygonal Models: A Survey
Spherical Parameterization of Marching Cubes IsoSurfaces Based upon Nearest Neighbor Coordinates
Loop Subdivision Surface Based Progressive Interpolation
Rigidity Constraints for Large Mesh Deformation
An Algorithm for Constructing 3D Struts
Gradient Domain Mesh Deformation - A Survey
Evaluation for Small Visual Difference Between Conforming Meshes on Strain Field
An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs
Improved Bounded Model Checking for the Universal Fragment of CTL
Cover Articles
Top Cited Papers
Top Most Read
Download Templates
Datasets & Toolsets
×
Close
Export File
Citation
Format
RIS(for EndNote,Reference Manager,ProCite)
BibTex
Txt
Content
Citation Only
Citation and Abstract
×
Close
Citation