8828 search results - page 1448 / 1766 » Formal methods in practice |
175
click to vote
IPMI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. We present a new method for computing an optimal deformation between two arbitrary surfaces embedded in Euclidean 3-dimensional space. Our main contribution is in buildin...
174
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
Many learning algorithms rely on the curvature (in particular, strong convexity) of regularized objective functions to provide good theoretical performance guarantees. In practice...
175
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
Given observed data and a collection of parameterized candidate models, a 1- confidence region in parameter space provides useful insight as to those models which are a good fit t...
185
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
Kernelizing partial least squares (PLS), an algorithm which has been particularly popular in chemometrics, leads to kernel PLS which has several interesting properties, including ...
182
click to vote
ICML
2004
IEEE
16 years 7 months ago
2004
IEEE
While classical kernel-based classifiers are based on a single kernel, in practice it is often desirable to base classifiers on combinations of multiple kernels. Lanckriet et al. ...