242 search results - page 14 / 49 » Metamodel-Assisted Global Search Using a Probing Technique |
164
click to vote
CVPR
2010
IEEE
16 years 26 days ago
2010
IEEE
This paper presents an algorithm for recovering the globally optimal 2D human figure detection using a loopy graph model. This is computationally challenging because the time comp...
145
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
The need for a stopping criterion in MOEA’s is a repeatedly mentioned matter in the domain of MOOP’s, even though it is usually left aside as secondary, while stopping criteri...
164
click to vote
ENTCS
2007
15 years 4 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
119
click to vote
IPMI
2005
Springer
16 years 5 months ago
2005
Springer
This paper presents a general graph-theoretic technique for simultaneously segmenting multiple closed surfaces in volumetric images, which employs a novel graph-construction scheme...
114
click to vote
AMC
2005
15 years 4 months ago
2005
We present an interval branch-and-prune algorithm for computing verified enclosures for the global minimum and all global minimizers of univariate functions subject to bound const...