279 search results - page 44 / 56 » Learning and reasoning about interruption |
90
Voted
PLDI
2010
ACM
15 years 11 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...
107
Voted
IUI
2009
ACM
15 years 10 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...
100
Voted
HICSS
2010
IEEE
15 years 8 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-...
132
click to vote
CRV
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper presents a spatial-semantic modeling system featuring automated learning of object-place relations from an online annotated database, and the application of these relat...
67
Voted
IROS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— This paper presents a learning-enhanced marketbased task allocation approach for oversubscribed domains. In oversubscribed domains all tasks cannot be completed within ...