Sciweavers

696 search results - page 86 / 140
» Explaining abstract counterexamples
Sort
View
CP
2009
Springer
16 years 4 months ago
On the Structure of Industrial SAT Instances
Abstract. During this decade, it has been observed that many realworld graphs, like the web and some social and metabolic networks, have a scale-free structure. These graphs are ch...
Carlos Ansótegui, Jordi Levy, Maria Luisa B...
PPOPP
2009
ACM
16 years 3 months ago
How much parallelism is there in irregular applications?
Irregular programs are programs organized around pointer-based data structures such as trees and graphs. Recent investigations by the Galois project have shown that many irregular...
Milind Kulkarni, Martin Burtscher, Rajeshkar Inkul...
CHI
2004
ACM
16 years 3 months ago
I/O brush: drawing with everyday objects as ink
We introduce I/O Brush, a new drawing tool aimed at young children, ages four and up, to explore colors, textures, and movements found in everyday materials by "picking up&qu...
Kimiko Ryokai, Stefan Marti, Hiroshi Ishii
CHI
2004
ACM
16 years 3 months ago
Anthropomorphic visualization: a new approach for depicting participants in online spaces
Anthropomorphic visualization is a new approach to presenting historical information about participants in online spaces using the human form as the basis for the visualization. V...
Ethan Perry, Judith S. Donath
RECOMB
2004
Springer
16 years 3 months ago
Aligning alignments exactly
d abstract) John Kececioglu and Dean Starrett Department of Computer Science The University of Arizona Tucson AZ 85721, USA A basic computational problem that arises in both the...
John D. Kececioglu, Dean Starrett