Sciweavers

1917 search results - page 61 / 384
» The York Abstract Machine
Sort
View
ICANN
2005
Springer
14 years 3 months ago
Training of Support Vector Machines with Mahalanobis Kernels
Abstract. Radial basis function (RBF) kernels are widely used for support vector machines. But for model selection, we need to optimize the kernel parameter and the margin paramete...
Shigeo Abe
ICARIS
2005
Springer
14 years 3 months ago
Immunising Automated Teller Machines
Abstract. This paper presents an immune-inspired adaptable error detection (AED) framework for Automated Teller Machines (ATMs). This framework two levels, one level is local to a ...
Modupe Ayara, Jon Timmis, Rogério de Lemos,...
SPIN
2005
Springer
14 years 3 months ago
Model Checking Machine Code with the GNU Debugger
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
Eric Mercer, Michael Jones
PRICAI
2004
Springer
14 years 3 months ago
Prediction of the Risk Types of Human Papillomaviruses by Support Vector Machines
Abstract. Infection by high-risk human papillomaviruses (HPVs) is associated with the development of cervical cancers. Classification of risk types is important to understand the ...
Je-Gun Joung, Sok June Oh, Byoung-Tak Zhang
ICANN
2001
Springer
14 years 2 months ago
Incremental Support Vector Machine Learning: A Local Approach
Abstract. In this paper, we propose and study a new on-line algorithm for learning a SVM based on Radial Basis Function Kernel: Local Incremental Learning of SVM or LISVM. Our meth...
Liva Ralaivola, Florence d'Alché-Buc