674 search results - page 53 / 135 » From Constructibility and Absoluteness to Computability and ... |
141
click to vote
LICS
2002
IEEE
15 years 11 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...
155
click to vote
IPL
2002
15 years 5 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 ...
147
click to vote
SEMWEB
2009
Springer
16 years 22 days 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...
169
click to vote
SEKE
1994
Springer
15 years 10 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...
204
click to vote
BIRTHDAY
2011
Springer
14 years 6 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...