Sciweavers

327 search results - page 35 / 66
» Rendering with coherent layers
Sort
View
CADE
2008
Springer
14 years 7 months ago
Model Stack for the Pervasive Verification of a Microkernel-based Operating System
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
Jan Dörrenbächer, Matthias Daum, Sebasti...
VIS
2007
IEEE
162views Visualization» more  VIS 2007»
14 years 8 months ago
Segmentation of Three-dimensional Retinal Image Data
We have combined methods from volume visualization and data analysis to support better diagnosis and treatment of human retinal diseases. Many diseases can be identified by abnorma...
Alfred R. Fuller, Rober t J. Zawadzki, Stacey Ch...
SIGGRAPH
1993
ACM
13 years 11 months ago
Hierarchical Z-buffer visibility
An ideal visibility algorithm should a) quickly reject most of the hidden geometry in a model and b) exploit the spatial and perhaps temporal coherence of the images being generat...
Ned Greene, Michael Kass, Gavin S. P. Miller
ACS
2007
13 years 7 months ago
Patch-generated Frames and Projectable Hulls
This article considers coherent frame homomorphisms h : L −→ M between coherent frames, which induce an isomorphism between the boolen frames of polars, with M projectable, and...
Anthony W. Hager, Jorge Martínez
CVPR
2004
IEEE
14 years 8 months ago
Video Repairing: Inference of Foreground and Background under Severe Occlusion
In this paper, we propose a new method, video repairing, to robustly infer missing static background and moving foreground due to severe damage or occlusion from a video. To recov...
Jiaya Jia, Tai-Pang Wu, Yu-Wing Tai, Chi-Keung Tan...