3405 search results - page 653 / 681 » Factoring Groups Efficiently |
128
Voted
ICCD
2001
IEEE
16 years 11 days ago
2001
IEEE
Dynamic power is the main source of power consumption in CMOS circuits. It depends on the square of the supply voltage. It may significantly be reduced by scaling down the supply ...
155
click to vote
ICCAD
2001
IEEE
16 years 10 days ago
2001
IEEE
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...
153
Voted
IUI
2009
ACM
16 years 10 days ago
2009
ACM
Recent years have seen a resurgence of interest in programming by demonstration. As end users have become increasingly sophisticated, computer and artificial intelligence technolo...
117
Voted
WWW
2010
ACM
15 years 10 months ago
2010
ACM
In an ideal world, interface design is the art and science of helping users accomplish tasks in a timely, efficient, and pleasurable manner. This paper studies the inverse situati...
160
click to vote
IUI
2010
ACM
15 years 10 months ago
2010
ACM
Computer-based geometry systems have been widely used for teaching and learning, but largely based on mouse-andkeyboard interaction, these systems usually require users to draw fi...