Sciweavers

1305 search results - page 56 / 261
» An Optimization Algorithm Based on Active and Instance-Based...
Sort
View
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
15 years 6 months ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur
UAI
1998
15 years 4 months ago
The Bayesian Structural EM Algorithm
In recent years there has been a flurry of works on learning Bayesian networks from data. One of the hard problems in this area is how to effectively learn the structure of a beli...
Nir Friedman
107
Voted
ICML
2003
IEEE
16 years 3 months ago
Optimization with EM and Expectation-Conjugate-Gradient
We show a close relationship between the Expectation - Maximization (EM) algorithm and direct optimization algorithms such as gradientbased methods for parameter learning. We iden...
Ruslan Salakhutdinov, Sam T. Roweis, Zoubin Ghahra...
ICRA
2007
IEEE
178views Robotics» more  ICRA 2007»
15 years 9 months ago
Distributed Cooperative Active Sensing Using Consensus Filters
— We consider the problem of multiple mobile sensor agents tracking the position of one or more moving targets. In our formulation, each agent maintains a target estimate, and ea...
Peng Yang, Randy A. Freeman, Kevin M. Lynch
151
Voted
SEAL
2010
Springer
15 years 14 days ago
Dominance-Based Pareto-Surrogate for Multi-Objective Optimization
Abstract. Mainstream surrogate approaches for multi-objective problems build one approximation for each objective. Mono-surrogate approaches instead aim at characterizing the Paret...
Ilya Loshchilov, Marc Schoenauer, Michèle S...