2783 search results - page 288 / 557 » The Nature Of Near-Synonymic Relations |
133
click to vote
DBPL
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We address a fundamental question concerning spatio-temporal database systems: “What are exactly spatio-temporal queries?” We define spatio-temporal queries to be co...
108
click to vote
ICES
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. The exploitation of the physical characteristics has already been demonstrated in the intrinsic evolution of electronic circuits. This paper is an initial attempt at crea...
132
click to vote
ICLP
2001
Springer
15 years 6 months ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
111
click to vote
MCS
2001
Springer
15 years 6 months ago
2001
Springer
For learning purposes, representations of real world objects can be built by using the concept of dissimilarity (distance). In such a case, an object is characterized in a relative...
104
click to vote
TLCA
2001
Springer
15 years 6 months ago
2001
Springer
In this paper, we introduce a new type system, the Implicit Calculus of Constructions, which is a Curry-style variant of the Calculus of Constructions that we extend by adding an i...