5401 search results - page 294 / 1081 » Using Versions in GIS |
137
click to vote
ACL
2001
15 years 8 months ago
2001
For ambiguous sentences, traditional semantics construction produces large numbers of higher-order formulas, which must then be -reduced individually. Underspecified versions can ...
185
click to vote
TREC
1997
15 years 8 months ago
1997
The EU project Twenty-One will support cross language queries in a multilingual document base. A prototype version of the Twenty-Onesystem has been subjected to the Cross Language...
132
click to vote
ANLP
1994
15 years 8 months ago
1994
A new type of thesaurus for word processing is proposed. It comprises 7 semantic and 8 syntagmatic types of links between Russian words and collocations. The original version now ...
166
click to vote
APAL
2008
15 years 6 months ago
2008
Abstract. We prove a version of the associated sheaf functor theorem in Algebraic Set Theory. The proof is established working within a Heyting pretopos equipped with a system of s...
118
click to vote
AML
2007
15 years 6 months ago
2007
We provide an exposition of supercompact Radin forcing and present several methods for iterating Radin forcing. In this paper we give an exposition of supercompact Radin forcing us...