1256 search results - page 203 / 252 » Learning to Reason |
CHI
2007
ACM
14 years 9 months ago
2007
ACM
The ability to detect and differentiate breakpoints during task execution is critical for enabling defer-to-breakpoint policies within interruption management. In this work, we ex...
PLDI
2010
ACM
14 years 6 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
IUI
2009
ACM
14 years 5 months ago
2009
ACM
We present a game-based interface for acquiring common sense knowledge. In addition to being interactive and entertaining, our interface guides the knowledge acquisition process t...
HICSS
2010
IEEE
14 years 3 months ago
2010
IEEE
This paper presents the case of Arinia, a custommade piece of social software with strong similarities to today’s microblogging applications. Arinia has been in use in a medium-...
WWW
2010
ACM
14 years 3 months ago
2010
ACM
In this paper, we address the question of how we can identify hosts that will generate links to web spam. Detecting such spam link generators is important because almost all new s...