Sciweavers

3384 search results - page 249 / 677
» More Testable Properties
Sort
View
CVPR
1997
IEEE
15 years 10 months ago
Learning Generic Prior Models for Visual Computation
This paper presents a novel theory for learning generic prior models from a set of observed natural images based on a minimax entropy theory that the authors studied in modeling t...
Song Chun Zhu, David Mumford
SIGGRAPH
1997
ACM
15 years 10 months ago
Multiresolution sampling procedure for analysis and synthesis of texture images
This paper outlines a technique for treating input texture images as probability density estimators from which new textures, with similar appearance and structural properties, can...
Jeremy S. De Bonet
CGI
1996
IEEE
15 years 10 months ago
Improved Specular Highlights With Adaptive Shading
Gouraud shading and Phong shading are widely used interpolation methods to render a polygon mesh of a curved surface. When an illumination equation has a specular reflection term,...
Youngkwan Cho, Ulrich Neumann, Jongwook Woo
SP
1996
IEEE
116views Security Privacy» more  SP 1996»
15 years 10 months ago
Defining Noninterference in the Temporal Logic of Actions
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...
Todd Fine
RT
1997
Springer
15 years 10 months ago
Interactive Rendering of Globally Illuminated Glossy Scenes
Global illumination simulates all transfers of light in a scene. The results of the simulation are then used to generate photo-realistic images. Scenes with diffuse surfaces only c...
Wolfgang Stürzlinger, Rui Bastos