5718 search results - page 356 / 1144 » Modeling Rule Precision |
162
click to vote
CLEF
2000
Springer
15 years 11 months ago
2000
Springer
This paper presents work on document retrieval for Italian carried out at ITC-irst. Two different approaches to information retrieval were investigated, one based on the Okapi wei...
158
click to vote
SSDBM
1998
IEEE
15 years 11 months ago
1998
IEEE
In this demonstration, we show three interrelated tools intended to improve different aspects of the quality of data warehouse solutions. Firstly, the deductive object manager Con...
206
click to vote
LFCS
1992
Springer
15 years 10 months ago
1992
Springer
This paper addresses the problem of extending the formulae-as-types principle to classical logic. More precisely, we introduce a typed lambda-calculus (-LK ) whose inhabited types...
202
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
166
click to vote
NAACL
2007
15 years 8 months ago
2007
The task of identifying synonymous relations and objects, or Synonym Resolution (SR), is critical for high-quality information extraction. The bulk of previous SR work assumed str...