1094 search results - page 100 / 219 » On Computing Explanations in Argumentation |
HRI
2010
ACM
15 years 6 months ago
2010
ACM
Abstract—Hala is a bilingual (Arabic and English) culturallysensitive robot receptionist located at Carnegie Mellon University in Qatar. We report results from Hala’s deploymen...
100
click to vote
IWCMC
2009
ACM
15 years 5 months ago
2009
ACM
Abstract—In this tutorial paper we analyze the capacity of bitinterleaved coded modulation (BICM) with quadrature amplitude modulation (QAM) constellations, and we pay special at...
LICS
2007
IEEE
15 years 5 months ago
2007
IEEE
We show how to construct the category of games and innocent strategies from a more primitive category of games. On that category we define a comonad and monad with the former dis...
102
click to vote
DIS
2007
Springer
15 years 5 months ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
68
Voted
WECWIS
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper we present a novel approach and a system for automated selection of building blocks, by exploiting business processes semantics. The selection process is based on a ...