3061 search results - page 581 / 613 » interactions 2010 |
SIGGRAPH
2010
ACM
13 years 12 months ago
2010
ACM
Material design is the process by which artists specify the reflectance
properties of a surface, such as its diffuse color and specular
roughness. We present a user study to eval...
SIGGRAPH
2010
ACM
13 years 12 months ago
2010
ACM
The NVIDIA® OptiX™ ray tracing engine is a programmable system designed for NVIDIA GPUs and other highly parallel architectures. The OptiX engine builds on the key observation ...
SIGGRAPH
2010
ACM
13 years 12 months ago
2010
ACM
We present a multi-layered display that uses water drops as voxels. Water drops refract most incident light, making them excellent wide-angle lenses. Each 2D layer of our display ...
SIGGRAPH
2010
ACM
13 years 12 months ago
2010
ACM
In this paper, we address the problem of inverse procedural modeling: Given a piece of exemplar 3D geometry, we would like to find a set of rules that describe objects that are s...
PLDI
2010
ACM
13 years 11 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...