Sciweavers

487 search results - page 58 / 98
» A New Approach to Cutting into Finite Element Models
Sort
View
BIBE
2009
IEEE
161views Bioinformatics» more  BIBE 2009»
14 years 3 months ago
Soft Tissue Deformation and Optimized Data Structures for Mass Spring Methods
One of the essential components of a virtual reality surgical simulation is deformation. Deformations in computer graphics and surgical simulations are commonly modeled with three...
Tansel Halic, Sinan Kockara, Coskun Bayrak, Richar...
VMV
2000
157views Visualization» more  VMV 2000»
13 years 10 months ago
Visualization of Principal Curvature Directions by Anisotropic Diffusion
Anisotropic diffusion is known to be a powerful tool in image processing. It enables the smoothing of initially noisy images while still retaining, respectively sharpening edges a...
Udo Diewald, Martin Rumpf
CAD
2007
Springer
13 years 8 months ago
Direct extraction of surface meshes from implicitly represented heterogeneous volumes
This paper describes a novel algorithm to extract surface meshes directly from implicitly represented heterogeneous models made of different constituent materials. Our approach ca...
Charlie C. L. Wang
ICCAD
1996
IEEE
122views Hardware» more  ICCAD 1996»
14 years 27 days ago
Analytical delay models for VLSI interconnects under ramp input
Elmore delay has been widely used as an analytical estimate of interconnect delays in the performance-driven synthesis and layout of VLSI routing topologies. However,for typical R...
Andrew B. Kahng, Kei Masuko, Sudhakar Muddu
FM
2009
Springer
169views Formal Methods» more  FM 2009»
14 years 18 days ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...