Sciweavers

101 search results - page 4 / 21
» 2D Texture Refinement Using Procedural Functions
Sort
View
82
Voted
CADE
2004
Springer
15 years 9 months ago
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
We show how well-known refinements of ordered resolution, in particular redundancy elimination and ordering constraints in combination with a selection function, can be used to obt...
Yevgeny Kazakov, Hans de Nivelle
87
Voted
CADE
1998
Springer
15 years 1 months ago
A Resolution Decision Procedure for the Guarded Fragment
We show how well-known refinements of ordered resolution, in particular redundancy elimination and ordering constraints in combination with a selection function, can be used to obt...
Hans de Nivelle
VISUALIZATION
1996
IEEE
15 years 1 months ago
Real-Time Incremental Visualization of Dynamic Ultrasound Volumes Using Parallel BSP Trees
We present a method for producing real-time volume visualizations of continuously captured, arbitrarily-oriented 2D arrays (slices) of data. Our system constructs a 3D representat...
William F. Garrett, Henry Fuchs, Mary C. Whitton, ...
UIST
2006
ACM
15 years 3 months ago
Procedural haptic texture
We present the Haptic Shading Framework (HSF), a framework for procedurally defining haptic texture. HSF haptic texture shaders are short procedures allowing an application-progr...
Jeremy Shopf, Marc Olano
ICCV
1999
IEEE
15 years 11 months ago
Correlation Model for 3D Texture
While an exact definition of texture is somewhat elusive, texture can be qualitatively described as a distribution of color, albedo or local normal on a surface. In the literature...
Kristin J. Dana, Shree K. Nayar