5561 search results - page 953 / 1113 » The Large-Display User Experience |
157
Voted
TAP
2010
Springer
15 years 1 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
109
click to vote
TRIDENTCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
As experimentation becomes one of the de-facto approaches for benchmarking, researchers are turning to testbeds to test, review and verify their work. As a result, several research...
129
Voted
UIST
2010
ACM
15 years 1 months ago
2010
ACM
Mechanical Turk provides an on-demand source of human computation. This provides a tremendous opportunity to explore algorithms which incorporate human computation as a function c...
160
click to vote
UIST
2010
ACM
15 years 1 months ago
2010
ACM
We present Gestalt, a development environment designed to support the process of applying machine learning. While traditional programming environments focus on source code, we exp...
121
click to vote
WEBI
2010
Springer
15 years 1 months ago
2010
Springer
Static index pruning techniques aim at removing from the posting lists of an inverted file the references to documents which are likely to be not relevant for answering user querie...