Sciweavers

95 search results - page 2 / 19
» Fourier opacity mapping
Sort
View
CDC
2009
IEEE
136views Control Systems» more  CDC 2009»
15 years 1 months ago
Verification of K-step opacity and analysis of its complexity
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
Anooshiravan Saboori, Christoforos N. Hadjicostis
71
Voted
IV
1999
IEEE
151views Visualization» more  IV 1999»
15 years 1 months ago
Occlusion Culling Using Minimum Occluder Set and Opacity Map
The aim of occlusion culling is to cull away a significant amount of invisible primitives at different viewpoints. We present two algorithms to improve occlusion culling for a hig...
Poon Chun Ho, Wenping Wang
CDC
2008
IEEE
180views Control Systems» more  CDC 2008»
15 years 4 months ago
Opacity-enforcing supervisory strategies for secure discrete event systems
— Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speciï¬...
Anooshiravan Saboori, Christoforos N. Hadjicostis
SI3D
2009
ACM
15 years 4 months ago
Hair self shadowing and transparency depth ordering using occupancy maps
This paper presents a method for quickly constructing a highquality approximate visibility function for high frequency semitransparent geometry such as hair. We can then reconstru...
Erik Sintorn, Ulf Assarsson
93
Voted
CGF
2006
155views more  CGF 2006»
14 years 9 months ago
Opacity Peeling for Direct Volume Rendering
The most important technique to visualize 3D scalar data, as they arise e.g. in medicine from tomographic measurement, is direct volume rendering. A transfer function maps the sca...
Christof Rezk-Salama, Andreas Kolb