Sciweavers

2475 search results - page 184 / 495
» Question Answering in TREC
Sort
View
CSR
2009
Springer
15 years 10 months ago
Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes
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 ...
Olaf Beyersdorff, Zenon Sadowski
WCE
2007
15 years 7 months ago
Ethics Review: Practical Suggestions for Enabling Inclusive Computer Science Research
—People make and use tools. Many information technology tools, applying computer science research, powerfully influence human behaviour. Some questions about human behaviour can ...
Robert H. Barbour
170
Voted
MST
2006
100views more  MST 2006»
15 years 6 months ago
On Delivery Times in Packet Networks under Adversarial Traffic
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...
Adi Rosén, Michael S. Tsirkin
ACL
2012
13 years 9 months ago
Computational Approaches to Sentence Completion
This paper studies the problem of sentencelevel semantic coherence by answering SATstyle sentence completion questions. These questions test the ability of algorithms to distingui...
Geoffrey Zweig, John C. Platt, Christopher Meek, C...
CADE
2008
Springer
16 years 7 months ago
Combining Theorem Proving with Natural Language Processing
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...
Björn Pelzer, Ingo Glöckner