1341 search results - page 190 / 269 » Automatic Algorithm Configuration Based on Local Search |
NIPS
2004
14 years 11 months ago
2004
Embedding algorithms search for low dimensional structure in complex data, but most algorithms only handle objects of a single type for which pairwise distances are specified. Thi...
CLEF
2006
Springer
15 years 1 months ago
2006
Springer
We here describe the subword approach we used in the 2006 ImageCLEF Medical Image Retrieval task. It is based on the assupmtion that neither fully inflected nor automatically stem...
ICPR
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we present an automatic mouth contour and state estimation system. An efficient mouth contour extraction algorithm is proposed under the framework of Active Shape M...
CSFW
2010
IEEE
15 years 1 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
FM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...