1075 search results - page 111 / 215 » The QUANTUM Question Answering System |
173
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
A toilet is not only a place where people answer calls of nature. It is also a place for contemplation and reflection ? and a place where people read information. But bringing thi...
137
click to vote
LICS
2007
IEEE
16 years 17 days ago
2007
IEEE
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...
215
click to vote
CSL
2007
Springer
16 years 14 days ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ...
141
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The question we consider in this paper is: “When can a combination of fine-grain execution steps be contracted into an atomic action execution”? Our answer is basica...
150
click to vote
EMNLP
2004
15 years 7 months ago
2004
If two translation systems differ differ in performance on a test set, can we trust that this indicates a difference in true system quality? To answer this question, we describe b...