196 search results - page 10 / 40 » Efficient Simulation-Based Discrete Optimization |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The success of probabilistic model checking for discrete-time Markov decision processes and continuous-time Markov chains has led to rich academic and industrial applications. The ...
CCE
2004
13 years 7 months ago
2004
This paper treats the solution of nonlinear optimization problems involving discrete decision variables, also known as generalized disjunctive programming (GDP) or mixed-integer n...
ECCV
2008
Springer
14 years 9 months ago
2008
Springer
We consider the problem of imaging a scene with a given depth of field at a given exposure level in the shortest amount of time possible. We show that by (1) collecting a sequence ...
ICDE
2002
IEEE
14 years 8 months ago
2002
IEEE
Modern relational database systems are beginning to support ad hoc queries on mining models. In this paper, we explore novel techniques for optimizing queries that apply mining mo...
CVPR
2008
IEEE
13 years 9 months ago
2008
IEEE
Warping is fundamental to multiple algorithms in computer vision and medical imaging such as image and volume registration. Warping is performed by determining a continuous deform...