Sciweavers

1375 search results - page 5 / 275
» SDL-2000: A Language with a Formal Semantics
Sort
View
UML
2001
Springer
13 years 11 months ago
A Formal Semantics for OCL 1.4
María Victoria Cengarle, Alexander Knapp
COLING
2010
13 years 2 months ago
A Learnable Constraint-based Grammar Formalism
Lexicalized Well-Founded Grammar (LWFG) is a recently developed syntacticsemantic grammar formalism for deep language understanding, which balances expressiveness with provable le...
Smaranda Muresan
ACL
2010
13 years 5 months ago
Compositional Matrix-Space Models of Language
We propose CMSMs, a novel type of generic compositional models for syntactic and semantic aspects of natural language, based on matrix multiplication. We argue for the structural ...
Sebastian Rudolph, Eugenie Giesbrecht
IMCSIT
2010
13 years 4 months ago
Generation of First-Order Expressions from a Broad Coverage HPSG Grammar
This paper describes an application for computing first-order semantic representations of English texts. It is based on a combination of hybrid shallow-deep components arranged wit...
Ravi Coote, Andreas Wotzlaw
SIGSOFT
2010
ACM
13 years 5 months ago
Minding the (semantic) gap: engineering programming language theory
Like programs, programming languages are not only mathematical objects but also software engineering artifacts. Describing the semantics of real-world languages can help bring lan...
Arjun Guha, Shriram Krishnamurthi