Sciweavers

2475 search results - page 186 / 495
» Question Answering in TREC
Sort
View
EDBT
2009
ACM
148views Database» more  EDBT 2009»
15 years 10 months ago
MVT: a schema mapping validation tool
Schema mappings define relationships between schemas in a declarative way. We demonstrate MVT, a mapping validation tool that allows the designer to ask whether the mapping has ce...
Guillem Rull, Carles Farré, Ernest Teniente...
CLEF
2006
Springer
15 years 10 months ago
Paraphrase Substitution for Recognizing Textual Entailment
We describe a method for recognizing textual entailment that uses the length of the longest common subsequence (LCS) between two texts as its decision criterion. Rather than requi...
Wauter Bosma, Chris Callison-Burch
IVC
2008
74views more  IVC 2008»
15 years 6 months ago
On the probabilistic epipolar geometry
In this paper, we are going to answer the following question: assuming that we have estimates for the epipolar geometry and its uncertainty between two views, how probable it is t...
Sami S. Brandt
JSYML
2007
95views more  JSYML 2007»
15 years 6 months ago
Applications of Kolmogorov complexity to computable model theory
In this paper we answer the following well-known open question in computable model theory. Does there exist a computable not ℵ0-categorical saturated structure with a unique com...
Bakhadyr Khoussainov, Pavel Semukhin, Frank Stepha...
NDJFL
1998
81views more  NDJFL 1998»
15 years 6 months ago
An Undecidable Linear Order That Is n-Decidable for All n
A linear order is n-decidable if its universe is N and the relations determined by n formulas are uniformly computable. This means that there is a computable procedure which, when ...
John Chisholm, Michael Moses