61 search results - page 7 / 13 » On Resolution Proofs for Combinational Equivalence |
112
click to vote
WWW
2011
ACM
14 years 6 months ago
2011
ACM
An object on the Semantic Web is likely to be denoted with multiple URIs by different parties. Object coreference resolution is to identify “equivalent” URIs that denote the ...
83
Voted
CLEF
2006
Springer
15 years 3 months ago
2006
Springer
We describe the system of the University of Groningen for the monolingual Dutch and multilingual English to Dutch QA tasks. First, we give a brief outline of the architecture of ou...
115
Voted
FROCOS
2005
Springer
15 years 5 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
105
click to vote
TREC
2000
15 years 1 months ago
2000
We investigated the dictionary-based query translation method combining the translation disambiguation process using statistic cooccurrence information trained from the provided c...
102
click to vote
JFP
2000
14 years 11 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...