2830 search results - page 56 / 566 » No Science without Semantics |
TLCA
1995
Springer
13 years 11 months ago
1995
Springer
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
CAD
2000
Springer
13 years 7 months ago
2000
Springer
: Current feature modelling systems suffer from a number of shortcomings. One is that the meaning of features is often not adequately maintained during modelling, which implies tha...
ACSC
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a new model to measure semantic similarity in the taxonomy of WordNet, using edgecounting techniques. We weigh up our model against a benchmark set by human si...
CSR
2008
Springer
13 years 7 months ago
2008
Springer
An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of G...
COLING
2000
13 years 9 months ago
2000
We propose a new inference system which operates on underspecified semantic representations of scope and anaphora. This system exploits anaphoric accessibility conditions from dyn...