3690 search results - page 442 / 738 » Computation with classical sequents |
235
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
166
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Understanding and exploiting the abilities of the human visual system is an important part of the design of usable user interfaces and information visualizations. Good design enab...
184
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
The advent of new parallel architectures has increased the need for parallel optimizing compilers to assist developers in creating efficient code. OpenUH is a state-of-the-art opt...
165
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
A number of experimental studies based on domain-specific tasks have evaluated the efficiency of navigation techniques for searching multi-scale worlds. The discrepancies among th...
158
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
We propose a method for computer-based speed writing, SHARK (shorthand aided rapid keyboarding), which augments stylus keyboarding with shorthand gesturing. SHARK defines a shorth...