INFORMATICALT
2016
8 years 10 months ago
2016
Abstract. The choice of natural image prior decides the quality of restored image. Recently successful algorithms exploit heavy-tailed gradient distribution as image prior to resto...
INFORMATICALT
2016
8 years 10 months ago
2016
Abstract. A multitude of heuristic stochastic optimization algorithms have been described in literature to obtain good solutions of the box-constrained global optimization problem ...
INFORMATICALT
2016
8 years 10 months ago
2016
Fair input/output (or I/O) automata are a state-machine model for specifying and verifying reactive and concurrent systems. For the verification purposes, one is usually intereste...
INFORMATICALT
2016
8 years 10 months ago
2016
Abstract. The nonlinear stochastic programming problem involving CVaR in the objective and constraints is considered. Solving the latter problem in a framework of bi-level stochast...