Sciweavers

3669 search results - page 387 / 734
» Rendering
Sort
View
SIGGRAPH
2000
ACM
15 years 11 months ago
Illustrating smooth surfaces
We present a new set of algorithms for line-art rendering of smooth surfaces. We introduce an efficient, deterministic algorithm for finding silhouettes based on geometric duali...
Aaron Hertzmann, Denis Zorin
SIGGRAPH
2000
ACM
15 years 11 months ago
Deep shadow maps
We introduce deep shadow maps, a technique that produces fast, high-quality shadows for primitives such as hair, fur, and smoke. Unlike traditional shadow maps, which store a sing...
Tom Lokovic, Eric Veach
SIGGRAPH
2000
ACM
15 years 11 months ago
Interactive multi-pass programmable shading
Programmable shading is a common technique for production animation, but interactive programmable shading is not yet widely available. We support interactive programmable shading ...
Mark S. Peercy, Marc Olano, John Airey, P. Jeffrey...
UIST
2000
ACM
15 years 11 months ago
SATIN: a toolkit for informal ink-based applications
Software support for making effective pen-based applications is currently rudimentary. To facilitate the creation of such applications, we have developed SATIN, a Java-based toolk...
Jason I. Hong, James A. Landay
CADE
2000
Springer
15 years 11 months ago
Automated Proof Construction in Type Theory Using Resolution
We provide techniques to integrate resolution logic with equality in type theory. The results may be rendered as follows. − A clausification procedure in type theory, equipped w...
Marc Bezem, Dimitri Hendriks, Hans de Nivelle