Sciweavers

COCO
2006
Springer
97views Algorithms» more  COCO 2006»
15 years 8 months ago
A Duality between Clause Width and Clause Density for SAT
We consider the relationship between the complexities of - and those of restricted to formulas of constant density. Let be the infimum of those such that - on variables can be dec...
Chris Calabro, Russell Impagliazzo, Ramamohan Patu...
INFOVIS
2003
IEEE
15 years 10 months ago
Constant Density Displays Using Diversity Sampling
The Informedia Digital Video Library user interface summarizes query results with a collage of representative keyframes. We present a user study in which keyframe occlusion caused...
Mark Derthick, Michael G. Christel, Alexander G. H...