Sciweavers

729 search results - page 75 / 146
» Combinatorial Surface Integration
Sort
View
IJSEKE
2011
165views more  IJSEKE 2011»
13 years 2 months ago
Model Checking for Verification of Mandatory Access Control Models and Properties
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun H...
ECCV
1992
Springer
15 years 22 days ago
Recovering Shading from Color Images
Existing shape-from-shading algorithms assume constant reflectance across the shaded surface. Multi-colored surfaces are excluded because both shading and reflectance affect the me...
Brian V. Funt, Mark S. Drew, Michael Brockington
ICIP
2004
IEEE
15 years 16 days ago
Performance analysis of an improved tensor based correspondence algorithm for automatic 3d modeling
3D modeling of a free-form object involves the acquisition of multiple views (range images) of the object to cover its entire surface. These views are then registered in a common ...
Ajmal S. Mian, Mohammed Bennamoun, Robyn A. Owens
3DPVT
2006
IEEE
240views Visualization» more  3DPVT 2006»
14 years 5 months ago
Object Centered Stereo: Displacement Map Estimation Using Texture and Shading
We consider the problem of recovering 3D surface displacements using both shading and multi-view stereo cues. In contrast to traditional disparity or depth map representations, th...
Neil Birkbeck, Dana Cobzas, Martin Jägersand
VMV
2000
157views Visualization» more  VMV 2000»
14 years 7 days ago
Visualization of Principal Curvature Directions by Anisotropic Diffusion
Anisotropic diffusion is known to be a powerful tool in image processing. It enables the smoothing of initially noisy images while still retaining, respectively sharpening edges a...
Udo Diewald, Martin Rumpf