688 search results - page 44 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
A novel optimisation accelerator deploying neural network predictions and objective space direct manipulation strategies is presented. The concept of directing the search through ...
ICDCS
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract—Stream processing is widely used by today’s applications such as financial data analysis and disaster response. In distributed stream processing systems, machine fail...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
Curvature flows have been extensively considered from a deterministic point of view. They have been shown to be useful for a number of applications including crystal growth, flame...
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
Given an object model and a black-box measure of similarity between the model and candidate targets, we consider visual object tracking as a numerical optimization problem. During...