Sciweavers

1196 search results - page 162 / 240
» Results Merging Algorithm Using Multiple Regression Models
Sort
View
155
Voted
PODC
2009
ACM
16 years 3 months ago
Load balancing without regret in the bulletin board model
We analyze the performance of protocols for load balancing in distributed systems based on no-regret algorithms from online learning theory. These protocols treat load balancing a...
Éva Tardos, Georgios Piliouras, Robert D. K...
131
Voted
TACAS
2005
Springer
124views Algorithms» more  TACAS 2005»
15 years 8 months ago
Dynamic Symmetry Reduction
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
E. Allen Emerson, Thomas Wahl
163
Voted
WSC
2001
15 years 3 months ago
Accounting for input model and parameter uncertainty in simulation
Taking into account input-model, input-parameter, and stochastic uncertainties inherent in many simulations, our Bayesian approach to input modeling yields valid point and confide...
Faker Zouaoui, James R. Wilson
138
Voted
ICDE
2010
IEEE
290views Database» more  ICDE 2010»
15 years 6 months ago
The Model-Summary Problem and a Solution for Trees
Modern science is collecting massive amounts of data from sensors, instruments, and through computer simulation. It is widely believed that analysis of this data will hold the key ...
Biswanath Panda, Mirek Riedewald, Daniel Fink
AAAI
1993
15 years 3 months ago
Hybrid Case-Based Reasoning for the Diagnosis of Complex Devices
A novel approach to integrating case-based reasoning with model-based diagnosis is presented. The main idea is to use the model of the device and the results of diagnostic tests t...
Michel P. Féret, Janice I. Glasgow