7773 search results - page 314 / 1555 » On generalized Frame-Stewart numbers |
125
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj´ıˇcek and P...
164
click to vote
PDP
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract—We investigate the scalability of the hypergraphbased sparse matrix partitioning methods with respect to the increasing sizes of matrices and number of nonzeros. We prop...
161
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Shifts in the culture of civic engagement, technologies and practices surrounding social media, and pressure from political leaders have ignited a movement amongst gov’t agencie...
157
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Click-based graphical passwords have attractive usability properties, such as cueing and good memorability. However, image size and number of click-points in each password signifi...
149
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
In this paper we present a novel interaction metaphor for handheld projectors we label MotionBeam. We detail a number of interaction techniques that utilize the physical movement ...