Sciweavers

711 search results - page 50 / 143
» Color sketch generation
Sort
View
CADE
2010
Springer
13 years 8 months ago
Interpolation and Symbol Elimination in Vampire
It has recently been shown that proofs in which some symbols are colored (e.g. local or split proofs and symbol-eliminating proofs) can be used for a number of applications, such a...
Krystof Hoder, Laura Kovács, Andrei Voronko...
APVIS
2006
13 years 9 months ago
Visual narratives: the essential role of imagination in the visualization process
The goal of this short form paper is to introduce ideas in contemporary visualization that use hand generated methods to engage the imagination of the author and audience to enhan...
Mark Baskinger, Ki-Chol Nam
CORR
2008
Springer
135views Education» more  CORR 2008»
13 years 7 months ago
Crossing Borders: Security and Privacy Issues of the European e-Passport
The first generation of European e-passports will be issued in 2006. We discuss how borders are crossed regarding the security and privacy erosion of the proposed schemes, and show...
Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs,...
CHI
2009
ACM
14 years 8 months ago
Graph sketcher: extending illustration to quantitative graphs
Scientists, engineers, and educators commonly need to make graphs that quickly illustrate quantitative ideas yet are not based on specific data sets. We call these graphs quantita...
Robin Stewart, m. c. schraefel
SIGGRAPH
2010
ACM
14 years 6 days ago
Interactive on-surface signal deformation
We present an interactive system for the artistic control of visual phenomena visible on surfaces. Our method allows the user to intuitively reposition shadows, caustics, and indi...
Tobias Ritschel, Thorsten Thormählen, Carsten Dac...