674 search results - page 53 / 135 » From Constructibility and Absoluteness to Computability and ... |
100
click to vote
LICS
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using t...
110
click to vote
IPL
2002
15 years 1 months ago
2002
We deal with the problem of storing a set of K elements that are taken from a large universe of size N, such that membership in the set can be determined with high probability by ...
102
click to vote
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
114
click to vote
SEKE
1994
Springer
15 years 6 months ago
1994
Springer
We describe a technique for the control of production rules firing in an object-oriented setting. This technique is based on the separation of control rules from ordinary domain r...
150
click to vote
BIRTHDAY
2011
Springer
14 years 1 months ago
2011
Springer
In this paper, we consider the challenge of designing a reflective middleware to integrate multiple autonomous simulation models into an integrated simulation environment (multiasi...