Sciweavers

3096 search results - page 74 / 620
» Theory and Use of the EM Algorithm
Sort
View
FMCAD
2000
Springer
15 years 5 months ago
A Theory of Consistency for Modular Synchronous Systems
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke...
IJCAI
2003
15 years 2 months ago
Monte Carlo Theory as an Explanation of Bagging and Boosting
In this paper we propose the framework of Monte Carlo algorithms as a useful one to analyze ensemble learning. In particular, this framework allows one to guess when bagging will ...
Roberto Esposito, Lorenza Saitta
FOCM
2006
87views more  FOCM 2006»
15 years 1 months ago
Index Pairs Algorithms
We introduce some modifications and extensions of the concept od index pair in the Conley index theory. We then show how these concepts may be used to overcome some difficulties in...
Marian Mrozek
DC
2000
15 years 1 months ago
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...
Anna Pogosyants, Roberto Segala, Nancy A. Lynch
IPSN
2007
Springer
15 years 7 months ago
Improving wireless simulation through noise modeling
We propose modeling environmental noise in order to efficiently and accurately simulate wireless packet delivery. We measure noise traces in many different environments and propo...
HyungJune Lee, Alberto Cerpa, Philip Levis