Sciweavers

1730 search results - page 287 / 346
» Algebra and Computation
Sort
View
HLK
2003
IEEE
14 years 3 months ago
Generic Deformable Implicit Mesh Models for Automated Reconstruction
Deformable 3–D models can be represented either as explicit or implicit surfaces. Explicit surfaces, such as triangulations or wire-frame models, are widely accepted in the Comp...
Slobodan Ilic, Pascal Fua
SIBGRAPI
2003
IEEE
14 years 3 months ago
Helical CT Reconstruction from Wide Cone-Beam Angle Data Using ART
We report on new results on the use of Algebraic Reconstruction Techniques (ART) for reconstructing from helical cone-beam Computerized Tomography (CT) data. We investigate two va...
Bruno M. Carvalho, Gabor T. Herman
VISUALIZATION
2003
IEEE
14 years 3 months ago
Clifford Convolution And Pattern Matching On Vector Fields
The goal of this paper is to transfer image processing to vector fields and flow visualization by defining a suitable convolution operation. For this, a multiplication of vecto...
Julia Ebling, Gerik Scheuermann
PODC
2003
ACM
14 years 3 months ago
A lattice-theoretic characterization of safety and liveness
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
Panagiotis Manolios, Richard J. Trefler
IPPS
2002
IEEE
14 years 2 months ago
Optimizing Graph Algorithms for Improved Cache Performance
Tiling has long been used to improve cache performance. Recursion has recently been used as a cache-oblivious method of improving cache performance. Both of these techniques are n...
Joon-Sang Park, Michael Penner, Viktor K. Prasanna