734 search results - page 97 / 147 » A Question-Answering System Using Argumentation |
147
click to vote
LICS
2009
IEEE
16 years 24 days ago
2009
IEEE
Several dynamical systems, such as deterministic automata and labelled transition systems, can be described as coalgebras of so-called Kripke polynomial functors, built up from co...
135
click to vote
CSL
2009
Springer
16 years 22 days ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...
143
click to vote
CTRSA
2009
Springer
16 years 28 days ago
2009
Springer
We propose and analyze a multivariate encryption scheme that uses odd characteristic and an embedding in its construction. This system has a very simple core map F(X) = X2 , allowi...
202
click to vote
AIMDM
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we describe a new approach to computer-based health promotion, based on a conversational model. We base our model on a collection of human-human email dialogues conce...
159
click to vote
NAACL
2010
15 years 4 months ago
2010
This paper contributes a formalization of frame-semantic parsing as a structure prediction problem and describes an implemented parser that transforms an English sentence into a f...