Sciweavers

7262 search results - page 497 / 1453
» Reversible Computer Hardware
Sort
View
226
Voted
SI3D
1992
ACM
15 years 9 months ago
Interactive Volume Rendering on a Multicomputer
Direct volume rendering is a computationally intensive operation that has become a valued and often preferred visualization tool. For maximal data comprehension, interactive manip...
Ulrich Neumann
CGF
2005
149views more  CGF 2005»
15 years 4 months ago
Real-Time Ray-Casting and Advanced Shading of Discrete Isosurfaces
This paper presents a real-time rendering pipeline for implicit surfaces defined by a regular volumetric grid of samples. We use a ray-casting approach on current graphics hardwar...
Markus Hadwiger, Christian Sigg, Henning Scharsach...
CAV
2012
Springer
227views Hardware» more  CAV 2012»
13 years 7 months ago
Minimum Satisfying Assignments for SMT
Abstract. A minimum satisfying assignment of a formula is a minimumcost partial assignment of values to the variables in the formula that guarantees the formula is true. Minimum sa...
Isil Dillig, Thomas Dillig, Kenneth L. McMillan, A...
IPPS
1999
IEEE
15 years 9 months ago
An Efficient Implementation Method of Fractal Image Compression on Dynamically Reconfigurable Architecture
Abstract. This paper proposes a method for implementing fractal image compression on dynamically reconfigurable architecture. In the encoding of this compression, metric computatio...
Hidehisa Nagano, Akihiro Matsuura, Akira Nagoya
ICPR
2002
IEEE
16 years 6 months ago
A New Shape Transformation Approach to Handwritten Character Recognition
A new simple algorithm, based on dynamic programming is presented, for handwritten character recognition, with improved accuracy. The proposed Shape Transform (ST) approach is bas...
Nikos Liolios, Ergina Kavallieratou, Nikos Fakotak...