Sciweavers

4463 search results - page 444 / 893
» computing 2000
Sort
View
IMR
2000
Springer
15 years 10 months ago
Generation of Volume Meshes by Extrusion from Surface Meshes of Arbitrary Topology
An algorithm to generate volume meshes by extrusion from surface meshes of arbitrary topology is presented. The algorithm utilizes a three-step, advancing layer scheme to extrude ...
David S. Thompson, Satish Chalasani, Bharat K. Son...
CG
2000
Springer
15 years 6 months ago
Light propagation visualization as a tool for 3D scene analysis in lighting design
This paper is devoted to a designer tool, which is an extension of particle tracing algorithm for analysis of scenes, artifacts, image ghosts, and ray tracing mechanism itself. Th...
Edward A. Kopylov, Kirill Dmitriev
ICIP
2004
IEEE
16 years 8 months ago
A novel progressive thick slab paradigm for volumetric medical image compression and navigation
In this paper, we propose a novel thick slab paradigm which provides an efficient scheme to navigate through large three dimensional (3-D) medical data sets within the framework o...
S. V. Bharath Kumar, Sudipta Mukhopadhyay, Vishram...
RTSS
2003
IEEE
16 years 10 hour ago
A Dynamic Voltage Scaling Algorithm for Sporadic Tasks
Dynamic voltage scaling (DVS) algorithms save energy by scaling down the processor frequency when the processor is not fully loaded. Many algorithms have been proposed for periodi...
Ala' Qadi, Steve Goddard, Shane Farritor
ICDCSW
2000
IEEE
15 years 10 months ago
Compositional Verification of a Third Generation Mobile Communication Protocol
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
Sari Leppänen, Matti Luukkainen