Sciweavers

2944 search results - page 124 / 589
» Robust Semantic Construction
Sort
View
AOSD
2009
ACM
16 years 1 months ago
The art of the meta-aspect protocol
ive semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented fro...
Tom Dinkelaker, Mira Mezini, Christoph Bockisch
FOSSACS
2005
Springer
15 years 12 months ago
Congruence for Structural Congruences
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
Mohammad Reza Mousavi, Michel A. Reniers
TACS
1994
Springer
15 years 10 months ago
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
Douglas J. Howe, Scott D. Stoller
ECAI
1990
Springer
15 years 10 months ago
Probabilistic Belief Logics
Modal logics based on Kripke style semantics are the prominent formalismin AI for modeling beliefs. Kripke semantics involve a collection of possible worlds and a relation among t...
Fahiem Bacchus
EACL
1993
ACL Anthology
15 years 7 months ago
Similarity between Words Computed by Spreading Activation on an English Dictionary
This paper proposes a method for measuring semantic similarity between words as a new tool for text analysis. The similarity is measured on a semantic network constructed systemat...
Hideki Kozima