1375 search results - page 43 / 275 » SDL-2000: A Language with a Formal Semantics |
MODELS
2007
Springer
15 years 3 months 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...
ICALP
2004
Springer
15 years 3 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...
EACL
1993
ACL Anthology
14 years 11 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...
108
Voted
JMLR
2012
13 years 4 days 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...
CRYPTO
2003
Springer
15 years 2 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...