Sciweavers

1138 search results - page 55 / 228
» Scale-Time Kernels and Models
Sort
View
TPHOL
2005
IEEE
14 years 2 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...
BMVC
2001
13 years 11 months ago
Recognising Trajectories of Facial Identities Using Kernel Discriminant Analysis
We present a comprehensive approach to address three challenging problems in face recognition: modelling faces across multi-views, extracting the non-linear discriminating feature...
Yongmin Li, Shaogang Gong, Heather M. Liddell
ICPR
2010
IEEE
13 years 10 months ago
A Relationship between Generalization Error and Training Samples in Kernel Regressors
A relationship between generalization error and training samples in kernel regressors is discussed in this paper. The generalization error can be decomposed into two components. On...
Akira Tanaka, Hideyuki Imai, Mineichi Kudo, Masaak...
ISBI
2006
IEEE
14 years 9 months ago
Nonlinear classification of EEG data for seizure detection
We address the problem of classification of EEG recordings for the detection of epileptic seizures. We assume that the EEG measurements can be described by a low dimensional manif...
Mabel Ramírez-Vélez, Richard Staba, ...
SIES
2008
IEEE
14 years 3 months ago
Scalably distributed SystemC simulation for embedded applications
SystemC becomes popular as an efficient system-level modelling language and simulation platform. However, the solethread simulation kernel obstacles its performance progress from ...
Kai Huang, Iuliana Bacivarov, Fabian Hugelshofer, ...