428 search results - page 26 / 86 » An asynchronous complete method for distributed constraint o... |
155
click to vote
ECOOP
1993
Springer
15 years 7 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
138
click to vote
DCC
2011
IEEE
14 years 10 months ago
2011
IEEE
The effect of quantization of prior probabilities in a collection of distributed Bayesian binary hypothesis testing problems over which the priors themselves vary is studied. In ...
147
click to vote
SAC
1997
ACM
15 years 7 months ago
1997
ACM
Infomaster is an information integration system. It provides integrated access to distributed, heterogeneous information sources, thus giving its users the illusion of a centraliz...
140
Voted
SAT
2010
Springer
15 years 1 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
113
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper we present an adaptive technique to locally adjust the frequency of processing elements on MP-SoC. The proposed method, based on Game Theory, optimizes the system ...