Sciweavers

443 search results - page 39 / 89
» On The Interpretation Of Natural Language Instructions
Sort
View
CICLING
2003
Springer
15 years 5 months ago
Imperatives as Obligatory and Permitted Actions
We present a dynamic deontic model for the interpretation of imperative sentences in terms of Obligation (O) and Permission (P). Under the view that imperatives prescribe actions ...
Miguel Pérez-Ramírez, Chris Fox
FSTTCS
2006
Springer
15 years 3 months ago
Game Semantics for Higher-Order Concurrency
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
James Laird
EACL
1993
ACL Anthology
15 years 1 months ago
Towards a proper treatment of coercion phenomena
The interpretation of coercion constructions (to begin a book) has been recently considered as resulting from the operation of type changing. For instance, a phrase of type o (obj...
Danièle Godard, Jacques Jayez
EACL
1993
ACL Anthology
15 years 1 months ago
Coping With Derivation in a Morphological Component
In this paper a morphological component with a limited capability to automatically interpret (and generate) derived words is presented. The system combines an extended two-level m...
Harald Trost
MODELS
2010
Springer
14 years 10 months ago
Towards a Semantics of Activity Diagrams with Semantic Variation Points
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...
Hans Grönniger, Dirk Reiss, Bernhard Rumpe