9110 search results - page 505 / 1822 » Formally-Based Design Evaluation |
204
click to vote
ACL
2011
14 years 10 months ago
2011
We design a class of submodular functions meant for document summarization tasks. These functions each combine two terms, one which encourages the summary to be representative of ...
184
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
We present GreenHat, an interactive mobile learning application that helps students learn about biodiversity and sustainability issues in their surroundings from experts’ points...
201
click to vote
HCI
2011
14 years 10 months ago
2011
Validation is critically important when human performance models are used to predict the effect of future system designs on human performance. A model of flight deck operations was...
231
click to vote
IRFC
2011
Springer
14 years 10 months ago
2011
Springer
The paper is concerned with the design and the evaluation of the combination of user interaction and informative content features for implicit and pseudo feedback-based document re...
220
click to vote
PADL
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...