2440 search results - page 175 / 488 » Data-Intensive Question Answering |
125
Voted
CSR
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we investigate the following two questions: Q1: Do there exist optimal proof systems for a given language L? Q2: Do there exist complete problems for a given promise ...
125
click to vote
WCE
2007
15 years 5 months ago
2007
—People make and use tools. Many information technology tools, applying computer science research, powerfully influence human behaviour. Some questions about human behaviour can ...
131
click to vote
MST
2006
15 years 4 months ago
2006
We consider packet networks and make use of the adversarial queuing theory" model 10 . We are interested in the question of guaranteeing that all packets are actually deliver...
135
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...
139
click to vote
CADE
2003
Springer
16 years 4 months ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...