1162 search results - page 57 / 233 » Monotonic Semantic Interpretation |
94
Voted
FOSSACS
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
CIVR
2007
Springer
15 years 5 months ago
2007
Springer
This paper introduces a faceted model of image semantics which attempts to express the richness of semantic content interpretable within an image. Using a large image data-set fro...
LICS
2009
IEEE
15 years 5 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
ENTCS
2007
14 years 11 months ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
98
Voted
DAGSTUHL
2003
15 years 10 days ago
2003
STAIRS is an approach to the compositional development of sequence diagrams supporting the specification of mandatory as well as potential behavior. In order to express the necess...