Sciweavers

713 search results - page 59 / 143
» Syntax and Semantics of Babel-17
Sort
View
139
Voted
CRIWG
2001
15 years 2 months ago
Integration of Domain-Specific Elements into Visual Language Based Collaborative Environments
This paper presents an approach for the integration of domain related elements and operational semantics into collaborative environments based on visual languages. This integratio...
Niels Pinkwart, Heinz Ulrich Hoppe, Katrin Ga&szli...
89
Voted
EUSFLAT
2003
106views Fuzzy Logic» more  EUSFLAT 2003»
15 years 2 months ago
An XML vocabulary for soft computing
This paper presents iXSCL, an XML based language for the specification of objects in the Soft Computing area. iXSCL adopts a compositional approach in which objects are construct...
Adolfo R. de Soto, Conrado A. Capdevila, Eva Cuerv...
IWFM
2003
123views Formal Methods» more  IWFM 2003»
15 years 2 months ago
Logic for Computational Effects: Work in Progress
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
Gordon D. Plotkin, John Power
109
Voted
FIW
2000
147views Communications» more  FIW 2000»
15 years 2 months ago
Formalising the Chisel Feature Notation
The CHISEL notation was developed by Bellcore as an informal graphical notation for describing telecomms services and features. CRESS (CHISEL Representation Employing Systematic S...
Kenneth J. Turner
ACL
1997
15 years 2 months ago
Sentence Planning as Description Using Tree Adjoining Grammar
We present an algorithm for simultaneously constructing both the syntax and semantics of a sentence using a Lexicalized Tree Adjoining Grammar (LTAG). This approach captures natur...
Matthew Stone, Christine Doran