Sciweavers

16091 search results - page 335 / 3219
» Solving
Sort
View
PPL
2007
82views more  PPL 2007»
15 years 6 months ago
Improved Runtime and Transfer Time Prediction Mechanisms in a Network Enabled Servers Middleware
In this paper we address the problem of accurately estimating the runtime and communication time of a client request in a Network Enabled Server (NES) middleware such as GridSolve...
Emmanuel Jeannot, Keith Seymour, Asim YarKhan, Jac...
CORR
2010
Springer
171views Education» more  CORR 2010»
15 years 5 months ago
Graphical Models Concepts in Compressed Sensing
This paper surveys recent work in applying ideas from graphical models and message passing algorithms to solve large scale regularized regression problems. In particular, the focu...
Andrea Montanari
LPAR
2010
Springer
15 years 5 months ago
Aligators for Arrays (Tool Paper)
This paper presents Aligators, a tool for the generation of universally quantified array invariants. Aligators leverages recurrence solving and algebraic techniques to carry out i...
Thomas A. Henzinger, Thibaud Hottelier, Laura Kov&...
PROCEDIA
2010
173views more  PROCEDIA 2010»
15 years 5 months ago
Combination of an adaptive multilevel SQP method and a space-time adaptive PDAE solver for optimal control problems
We present an adaptive multilevel generalized SQP method to solve PDAE-constrained optimization problems. It explicitly allows the use of independent integration schemes such that...
Debora Clever, Jens Lang, Stefan Ulbrich, J. Carst...
SMC
2010
IEEE
143views Control Systems» more  SMC 2010»
15 years 5 months ago
Estimating of Bellman function via suboptimal strategies
—The paper concerns approximate dynamic decision making. It deals with solving Bellman equation to obtain the Bellman function via so-called suboptimal strategies. The suboptimal...
Jan Zeman