8828 search results - page 1546 / 1766 » Formal methods in practice |
130
click to vote
JMLR
2006
15 years 4 months ago
2006
The eigenvalues of the kernel matrix play an important role in a number of kernel methods, in particular, in kernel principal component analysis. It is well known that the eigenva...
155
click to vote
JMLR
2006
15 years 4 months ago
2006
While classical kernel-based learning algorithms are based on a single kernel, in practice it is often desirable to use multiple kernels. Lanckriet et al. (2004) considered conic ...
158
click to vote
JMLR
2006
15 years 4 months ago
2006
Sparsity or parsimony of statistical models is crucial for their proper interpretations, as in sciences and social sciences. Model selection is a commonly used method to find such...
165
click to vote
JMLR
2006
15 years 4 months ago
2006
We consider an optimization problem in probabilistic inference: Given n hypotheses Hj, m possible observations Ok, their conditional probabilities pk j, and a particular Ok, selec...
128
click to vote
ENTCS
2007
15 years 4 months ago
2007
The dependency pairs method is one of the most powerful technique for proving termination of rewriting and it is currently central in most automatic termination provers. Recently,...