1375 search results - page 43 / 275 » SDL-2000: A Language with a Formal Semantics |
169
click to vote
MODELS
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
134
click to vote
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...
158
click to vote
EACL
1993
ACL Anthology
15 years 7 months ago
1993
ACL Anthology
The formal architecture of Lexical Functional Grammar offers a particular formal device, the structural correspondence, for modularizing the mapping between the surface forms of a...
200
click to vote
JMLR
2012
13 years 8 months ago
2012
Open-text semantic parsers are designed to interpret any statement in natural language by inferring a corresponding meaning representation (MR – a formal representation of its s...
171
click to vote
CRYPTO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A significant effort has recently been made to rigorously relate the formal treatment of cryptography with the computational one. A first substantial step in this dire...