Sciweavers

1376 search results - page 59 / 276
» The Localization Hypothesis and Machines
Sort
View
JAVA
2001
Springer
14 years 2 months ago
Platform independent dynamic Java virtual machine analysis: the Java Grande Forum Benchmark suite
In this paper we present a platform independent analysis of the dynamic profiles of Java programs when executing on the Java Virtual Machine. The Java programs selected are taken...
Charlie Daly, Jane Horgan, James F. Power, John Wa...
CADE
2000
Springer
14 years 2 months ago
Machine Instruction Syntax and Semantics in Higher Order Logic
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
Neophytos G. Michael, Andrew W. Appel
ICPR
2006
IEEE
14 years 11 months ago
On Kernel Selection in Relevance Vector Machines Using Stability Principle
In this paper we propose an alternative interpretation of Bayesian learning based on maximal evidence principle. We establish a notion of local evidence which can be viewed as a c...
Dmitry Kropotov, Nikita Ptashko, Oleg Vasiliev, Dm...
ICANN
2009
Springer
14 years 4 months ago
Using Kernel Basis with Relevance Vector Machine for Feature Selection
This paper presents an application of multiple kernels like Kernel Basis to the Relevance Vector Machine algorithm. The framework of kernel machines has been a source of many works...
Frederic Suard, David Mercier
ISMIR
2004
Springer
132views Music» more  ISMIR 2004»
14 years 3 months ago
Classification of musical genre: a machine learning approach
In this paper, we investigate the impact of machine learning algorithms in the development of automatic music classification models aiming to capture genres distinctions. The stu...
Roberto Basili, Alfredo Serafini, Armando Stellato