Sciweavers

95 search results - page 2 / 19
» Fourier opacity mapping
Sort
View
CDC
2009
IEEE
136views Control Systems» more  CDC 2009»
13 years 11 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
IV
1999
IEEE
151views Visualization» more  IV 1999»
13 years 11 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»
14 years 1 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
14 years 2 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
CGF
2006
155views more  CGF 2006»
13 years 7 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