Sciweavers

6047 search results - page 1045 / 1210
» A Scenario Construction Process
Sort
View
VISUALIZATION
1998
IEEE
15 years 11 months ago
Hierarchical volume analysis and visualization based on morphological operators
One common problem in the practical application of volume visualization is the proper choice of transfer functions in order to color different parts of the volume meaningfully. Th...
Christoph Lürig, Thomas Ertl
VISUALIZATION
1998
IEEE
15 years 11 months ago
Efficient warping for architectural walkthroughs using layered depth images
This paper presents efficient image-based rendering techniques used in the context of an architectural walkthrough system. Portals (doors and windows) are rendered by warping laye...
Voicu Popescu, Anselmo Lastra, Daniel G. Aliaga, M...
VVS
1998
IEEE
141views Visualization» more  VVS 1998»
15 years 11 months ago
3D Scan Conversion of CSG Models into Distance Volumes
A distance volume is a volume dataset where the value stored at each voxel is the shortest distance to the surface of the object being represented by the volume. Distance volumes ...
David E. Breen, Sean Mauch, Ross T. Whitaker
CAV
1998
Springer
103views Hardware» more  CAV 1998»
15 years 11 months ago
You Assume, We Guarantee: Methodology and Case Studies
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama...
IEAAIE
1998
Springer
15 years 11 months ago
Managing the Usage Experience in a Library of Software Components
The users of libraries of object-oriented software components face with both a terminological and a cognitive gap. Usually, library users do not understand the vocabulary used in t...
Pedro A. González-Calero, Mercedes Gó...
« Prev « First page 1045 / 1210 Last » Next »