959 search results - page 87 / 192 » Formal Description Techniques - How Formal and Descriptive a... |
EUSFLAT
2001
13 years 9 months ago
2001
In this paper we shall describe a very natural extension of MV-algebras, the divisible MV-algebras (DMV). Such algebraic structures will be used to give a formal description of ru...
ACL
1989
13 years 9 months ago
1989
In BBN's natural language understanding and generation system (Janus), we have used a hybrid approach to representation, employing an intensional logic for the representation...
ACL
1990
13 years 9 months ago
1990
Referring expressions and other object descriptions should be maximal under the Local Brevity, No Unnecessary Components, and Lexical Preference preference rules; otherwise, they ...
CLEIEJ
2006
13 years 8 months ago
2006
This work presents a formal description of a subset of a C-like language in the form of an operational semantics. We give semantics to the following statements (presented in alpha...
ECBS
2006
IEEE
14 years 2 months ago
2006
IEEE
The Adviser Portal (AP) is a new IT system for 15 Danish banks. The main goal of AP is to increase the efficiency and quality of bank advisers’ work. Requirements engineering fo...