Sciweavers

170 search results - page 25 / 34
» A Stochastic Method for Solving Inverse Problems in Epidemic...
Sort
View
ESANN
2004
15 years 6 months ago
Sparse LS-SVMs using additive regularization with a penalized validation criterion
This paper is based on a new way for determining the regularization trade-off in least squares support vector machines (LS-SVMs) via a mechanism of additive regularization which ha...
Kristiaan Pelckmans, Johan A. K. Suykens, Bart De ...
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 3 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
TIP
2011
156views more  TIP 2011»
15 years 1 days ago
Geodesic Active Fields - A Geometric Framework for Image Registration
In this paper we present a novel geometric framework called geodesic active fields for general image registration. In image registration, one looks for the underlying deformation ...
Dominique Zosso, Xavier Bresson, Jean-Philippe Thi...
ICML
2010
IEEE
15 years 6 months ago
Learning Efficiently with Approximate Inference via Dual Losses
Many structured prediction tasks involve complex models where inference is computationally intractable, but where it can be well approximated using a linear programming relaxation...
Ofer Meshi, David Sontag, Tommi Jaakkola, Amir Glo...
JPDC
2007
84views more  JPDC 2007»
15 years 5 months ago
Distributed average consensus with least-mean-square deviation
We consider a stochastic model for distributed average consensus, which arises in applications such as load balancing for parallel processors, distributed coordination of mobile a...
Lin Xiao, Stephen P. Boyd, Seung-Jean Kim