3066 search results - page 383 / 614 » On Facilitating Automated Evaluation |
CHI
2011
ACM
12 years 12 months ago
2011
ACM
Active reading, involving acts such as highlighting, writing notes, etc., is an important part of knowledge workers’ activities. Most computer-based active reading support seeks...
CHI
2011
ACM
2011
ACM
TouchCuts and TouchZoom: enhanced target selection for touch displays using finger proximity sensing
12 years 12 months ago
Although touch-screen laptops are increasing in popularity, users still do not comfortably rely on touch in these environments, as current software interfaces were not designed fo...
EDBT
2011
ACM
12 years 11 months ago
2011
ACM
We demonstrate Habitat, a declarative observational debugger for SQL. Habitat facilitates true language-level (not: plan-level) debugging of, probably flawed, SQL queries that yi...
BIS
2008
13 years 9 months ago
2008
A trust metric is a technique for predicting how much a user of a social network might trust another user. This is especially beneficial in situations where most users are unknown ...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...