14709 search results - page 247 / 2942 » Semantic feature modelling |
189
click to vote
FUIN
2008
15 years 7 months ago
2008
We present a formalism for the automatic verification of security protocols based on multi-agent systems semantics. We give the syntax and semantics of a temporal-epistemic securit...
242
click to vote
ECOOP
2010
Springer
16 years 2 days ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
168
click to vote
COLING
2000
15 years 8 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...
173
click to vote
COLING
2002
15 years 7 months ago
2002
In this paper, we present a rich semantic network based on a differential analysis. We then detail implemented measures that take into account common and differential features bet...
210
click to vote
IPM
2010
15 years 5 months ago
2010
This paper describes a supervised, knowledge-intensive approach to the automatic identification of semantic relations between nominals in English sentences. The system employs di...