377 search results - page 5 / 76 » Discrete stochastic optimization using linear interpolation |
ANOR
2011
13 years 2 months ago
2011
HYBRID
2004
Springer
14 years 26 days ago
2004
Springer
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
VMCAI
2007
Springer
14 years 1 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
TSP
2012
12 years 3 months ago
2012
Abstract—In this paper, we investigate the problem of designing compact-support interpolation kernels for a given class of signals. By using calculus of variations, we simplify t...
SIAMJO
2008
13 years 7 months ago
2008
We study the quantitative stability of linear multistage stochastic programs under perturbations of the underlying stochastic processes. It is shown that the optimal values behave...