Sciweavers

787 search results - page 10 / 158
» Fully procedural graphics
Sort
View
PLDI
2011
ACM
12 years 9 months ago
Precise and compact modular procedure summaries for heap manipulating programs
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We firs...
Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagi...
CGF
2004
123views more  CGF 2004»
13 years 6 months ago
SIMD Optimization of Linear Expressions for Programmable Graphics Hardware
The increased programmability of graphics hardware allows efficient GPU implementations of a wide range of general computations on commodity PCs. An important factor in such imple...
Chandrajit L. Bajaj, Insung Ihm, Jungki Min, Jinsa...
UIST
2006
ACM
14 years 20 days 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
RT
2001
Springer
13 years 11 months ago
Interactive Sampling and Rendering for Complex and Procedural Geometry
We present a new sampling method for procedural and complex geometries, which allows interactive point-based modeling and rendering of such scenes. For a variety of scenes, object-...
Marc Stamminger, George Drettakis
CG
2004
Springer
13 years 6 months ago
Procedural 3D texture synthesis using genetic programming
The automatic synthesis of procedural textures for 3D surfaces using genetic programming is investigated. Genetic algorithms employ a search strategy inspired by Darwinian natural...
Adam Hewgill, Brian J. Ross