734 search results - page 110 / 147 » A Question-Answering System Using Argumentation |
139
Voted
UTP
2010
15 years 19 days ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
135
Voted
EUROCRYPT
2011
Springer
14 years 6 months ago
2011
Springer
In this work, we present HIBE and ABE schemes which are “unbounded” in the sense that the public parameters do not impose additional limitations on the functionality of the sy...
120
Voted
INFOCOM
2011
IEEE
14 years 6 months ago
2011
IEEE
—This paper considers the problem of designing scheduling algorithms for multi-channel (e.g., OFDM-based) wireless downlink systems. We show that the Server-Side Greedy (SSG) rul...
142
Voted
HT
1987
ACM
15 years 6 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
147
Voted
COGSCI
2004
15 years 2 months ago
2004
When people engage in conversation, they tailor their utterances to their conversational partners, whether these partners are other humans or computational systems. This tailoring...