1395 search results - page 81 / 279 » Modeling betweenness for question answering |
114
click to vote
CADE
2001
Springer
16 years 4 months ago
2001
Springer
A boolean formula in conjunctive normal form (CNF) F is refuted by literal?once resolution if the empty clause is inferred from F by resolving on each literal of F at most once. Li...
116
click to vote
CONCUR
2000
Springer
15 years 8 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...
104
click to vote
FPGA
1995
ACM
15 years 8 months ago
1995
ACM
Area-IO provide a way to eliminate the IO bottleneck of eld programmable logic devices (FPLDs) created the mismatch between the ability of perimeter bonds to provide IO and and t...
118
click to vote
AAAI
2006
15 years 5 months ago
2006
This paper describes a framework for recognizing contradictions between multiple text sources by relying on three forms of linguistic information: (a) negation; (b) antonymy; and ...
109
click to vote
ACL
2006
15 years 5 months ago
2006
A resource grammar is a standard library for the GF grammar formalism. It raises the abstraction level of writing domainspecific grammars by taking care of the general grammatical...