2496 search results - page 62 / 500 » Error-detecting properties of languages |
ECAIW
1994
Springer
14 years 2 months ago
1994
Springer
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...
ARTS
1997
Springer
14 years 1 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
AAAI
2007
2007
Comprehending and Generating Apt Metaphors: A Web-driven, Case-based Approach to Figurative Language
14 years 8 days ago
Examples of figurative language can range from the explicit and the obvious to the implicit and downright enigmatic. Some simpler forms, like simile, often wear their meanings on...
ECOOP
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...
ICTCS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...