Sciweavers

711 search results - page 82 / 143
» Color sketch generation
Sort
View
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
14 years 1 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
ICCHP
2004
Springer
15 years 11 months ago
Exploring Scalable Vector Graphics for Visually Impaired Users
Graphical information is very important in common information publishing. For visually impaired users this information is usually not accessible. Scalable Vector Graphics, a recomm...
Martin Rotard, Kerstin Otte, Thomas Ertl
SIGGRAPH
2000
ACM
15 years 10 months ago
The digital Michelangelo project: 3D scanning of large statues
We describe a hardware and software system for digitizing the shape and color of large fragile objects under non-laboratory conditions. Our system employs laser triangulation rang...
Marc Levoy, Kari Pulli, Brian Curless, Szymon Rusi...
SIGGRAPH
2000
ACM
15 years 10 months ago
Surfels: surface elements as rendering primitives
Surface elements (surfels) are a powerful paradigm to efficiently render complex geometric objects at interactive frame rates. Unlike classical surface discretizations, i.e., tri...
Hanspeter Pfister, Matthias Zwicker, Jeroen van Ba...
SIGGRAPH
1997
ACM
15 years 9 months ago
Object shape and reflectance modeling from observation
An object model for computer graphics applications should contain two aspects of information: shape and reflectance properties of the object. A number of techniques have been deve...
Yoichi Sato, Mark D. Wheeler, Katsushi Ikeuchi