2468 search results - page 270 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
145
click to vote
SAIG
2000
Springer
15 years 7 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
158
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
136
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
When multiple video sources are live-encoded and transmitted over a common wireless network, each stream needs to adapt its encoding parameters to wireless channel fluctuations, ...
160
click to vote
ICDT
2012
ACM
13 years 6 months ago
2012
ACM
In a recent paper by Hellerstein [15], a tight relationship was conjectured between the number of strata of a Datalog¬ program and the number of “coordination stages” require...
129
click to vote
SIGIR
2005
ACM
15 years 9 months ago
2005
ACM
We propose a fully decentralized collaborative filtering approach that is self-organizing and operates in a distributed way. The relevances between downloading files (items) are...