4075 search results - page 555 / 815 » Modeling Distributed Algorithm Using B |
181
click to vote
ICLP
2004
Springer
16 years 23 hour 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...
151
click to vote
PVM
2004
Springer
16 years 5 hour ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
164
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
The Lagrangian multiplier based rate-distortion optimization has been proved to be an effective way in hybrid video coding. In this paper, an advanced Lagrange multiplier selectio...
144
click to vote
JMLR
2010
15 years 1 months ago
2010
The paper considers an interactive search paradigm in which at each round a user is presented with a set of k images and is required to select one that is closest to her target. P...
195
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—This paper considers the problem of designing scheduling algorithms for multi-channel (e.g., OFDM-based) wireless downlink systems. We show that the Server-Side Greedy (SSG) rul...