983 search results - page 73 / 197 » Object-oriented Abstractions for Distributed Programming |
131
click to vote
ICLP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
114
click to vote
UAI
2003
15 years 3 months ago
2003
Abstract. In Datalog, missing values are represented by Skolem constants. More generally, in logic programming missing values, or existentially quantified variables, are represent...
122
click to vote
CP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Although algorithms for Distributed Constraint Optimization Problems (DCOPs) have emerged as a key technique for distributed reasoning, their application faces significa...
100
click to vote
EUROPAR
2008
Springer
15 years 4 months ago
2008
Springer
Performance of distributed applications largely depends on the mapping of their components on the underlying architecture. On one mponent-based approaches provide an abstraction su...
131
click to vote
SPIN
2010
Springer
15 years 21 days ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...