1010 search results - page 77 / 202 » Designing Then and Now |
DAC
2007
ACM
16 years 5 days ago
2007
ACM
The ability of modern SAT solvers to produce proofs of unsatisfiability for Boolean formulas has become a powerful tool for EDA applications. Proofs are generated from a resolve t...
CHI
2007
ACM
15 years 11 months ago
2007
ACM
We conducted two studies that demonstrate automatically generated interfaces can be more usable than interfaces created by human designers. The first study shows that users of aut...
INTETAIN
2009
Springer
15 years 5 months ago
2009
Springer
In recent years we have seen a rising interest in brain-computer interfacing for human-computer interaction and potential game applications. Until now, however, we have almost only...
VL
2008
IEEE
15 years 5 months ago
2008
IEEE
Spreadsheets are one of the most common end-user programming environments in use today, and their importance in the business world continues to grow. Although considered critical ...
ISLPED
2006
ACM
15 years 5 months ago
2006
ACM
Light-weight embedded systems are now gaining more popularity due to the recent technological advances in fabrication that have resulted in more powerful tiny processors with grea...