Sciweavers

884 search results - page 39 / 177
» Implementation of the MLP Kernel
Sort
View
ICPR
2004
IEEE
14 years 11 months ago
Optimally Regularised Kernel Fisher Discriminant Analysis
Mika et al. [3] introduce a non-linear formulation of Fisher's linear discriminant, based the now familiar "kernel trick", demonstrating state-of-the-art performanc...
Gavin C. Cawley, Kamel Saadi, Nicola L. C. Talbot
TPHOL
2005
IEEE
14 years 3 months ago
On the Correctness of Operating System Kernels
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...
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach...
ICCI
1992
14 years 2 months ago
A Distributed Kernel for Virtual Time Driven Applications
The advent of distributed memory parallel muchines turns feasible the design and implementation of dedicated environments for distributed applications. This puper addresses such a...
Philippe Ingels, Carlos Maziero, Michel Raynal
CJ
2004
93views more  CJ 2004»
13 years 9 months ago
An Architecture for Kernel-Level Verification of Executables at Run Time
Digital signatures have been proposed by several researchers as a way of preventing execution of malicious code. In this paper we propose a general architecture for performing the...
Luigi Catuogno, Ivan Visconti
ICML
2004
IEEE
14 years 10 months ago
Decentralized detection and classification using kernel methods
We consider the problem of decentralized detection under constraints on the number of bits that can be transmitted by each sensor. In contrast to most previous work, in which the ...
XuanLong Nguyen, Martin J. Wainwright, Michael I. ...