2225 search results - page 306 / 445 » Logical Structures in the Lexicon |
173
click to vote
APLAS
2004
ACM
15 years 12 months ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
167
click to vote
ECLIPSE
2004
ACM
15 years 12 months ago
2004
ACM
Developing and consistently evolving quality software designs requires both theoretical knowledge and practical skills. The former can be communicated in a classroom; the latter h...
132
click to vote
NSPW
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents a new paradigm for information theory which is a synthesis of Barwise-Seligman’s qualitative theory and Shannon’s quantitative theory. The new paradigm is ...
154
click to vote
AIMSA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The problem of finding an agreement on the meaning of heterogeneous schemas is one of the key issues in the development of the Semantic Web. In this paper, we propose a ...
176
click to vote
APN
2004
Springer
15 years 12 months ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...