2829 search results - page 68 / 566 » Regularization Methods for Additive Models |
ICPR
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper introduces an effective initialization approach for segmentation using the Chan-Vese model. The initial curve is found by searching among the extremals of the fidelity ...
FMCAD
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
NAACL
2010
14 years 9 months ago
2010
Synchronous tree substitution grammars are a translation model that is used in syntax-based machine translation. They are investigated in a formal setting and compared to a compet...
ICCV
2003
IEEE
16 years 1 months ago
2003
IEEE
This paper presents a novel approach for landmarkbased shape deformation, in which fitting error and shape difference are formulated into a support vector machine (SVM) regression...
123
click to vote
TACAS
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...