Sciweavers

175 search results - page 25 / 35
» Common Subexpression Induction
Sort
View
KDD
2004
ACM
151views Data Mining» more  KDD 2004»
15 years 10 months ago
Feature selection in scientific applications
Numerous applications of data mining to scientific data involve the induction of a classification model. In many cases, the collection of data is not performed with this task in m...
Erick Cantú-Paz, Shawn Newsam, Chandrika Ka...
ALT
2003
Springer
15 years 6 months ago
Intrinsic Complexity of Uniform Learning
Inductive inference is concerned with algorithmic learning of recursive functions. In the model of learning in the limit a learner successful for a class of recursive functions mus...
Sandra Zilles
PLPV
2009
ACM
15 years 6 months ago
Embedding a logical theory of constructions in Agda
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
Ana Bove, Peter Dybjer, Andrés Sicard-Ram&i...
GECCO
2007
Springer
481views Optimization» more  GECCO 2007»
15 years 3 months ago
A hybrid PSO/ACO algorithm for classification
In a previous work we have proposed a hybrid Particle Swarm Optimisation/Ant Colony Optimisation (PSO/ACO) algorithm for the discovery of classification rules, in the context of d...
Nicholas Holden, Alex Alves Freitas
MDAI
2005
Springer
15 years 3 months ago
Meta-data: Characterization of Input Features for Meta-learning
Abstract. Common inductive learning strategies offer the tools for knowledge acquisition, but possess some inherent limitations due to the use of fixed bias during the learning p...
Ciro Castiello, Giovanna Castellano, Anna Maria Fa...