35416 search results - page 6964 / 7084 » Evaluation |
206
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
192
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
An important aspect of making the Web accessible to blind users is ensuring that all important web page elements such as links, clickable buttons, and form fields have explicitly ...
177
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
Data quality is critical for many information-intensive applications. One of the best opportunities to improve data quality is during entry. USHER provides a theoretical, data-dri...
163
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
Computer users with motor impairments face major challenges with conventional mouse pointing. These challenges are mostly due to fine pointing corrections at the final stages of t...
178
click to vote
USS
2010
15 years 4 months ago
2010
Oppressive regimes and even democratic governments restrict Internet access. Existing anti-censorship systems often require users to connect through proxies, but these systems are...