996 search results - page 93 / 200 » Generalised Kernel Machines |
TPHOL
2005
IEEE
14 years 2 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
HPCN
1997
Springer
14 years 1 months ago
1997
Springer
Since the de nition of the High Performance Fortran HPF standard, we have been maintaining a suite of application kernel codes with the aim of using them to evaluate the availabl...
ICPR
2010
IEEE
13 years 6 months ago
2010
IEEE
Although Support Vector Machines(SVM) succeed in classifying several image databases using image descriptors proposed in the literature, no single descriptor can be optimal for ge...
IWCLS
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we explicitly identify the probabilistic model underlying LCS by linking it to a generalisation of the common Mixture-of-Experts model. Having an explicit representa...
EWCBR
2004
Springer
14 years 2 months ago
2004
Springer
Because of the volume of spam email and its evolving nature, any deployed Machine Learning-based spam filtering system will need to have procedures for case-base maintenance. Key t...