Sciweavers

2317 search results - page 353 / 464
» classification 2008
Sort
View
MICS
2008
129views more  MICS 2008»
15 years 5 days ago
ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
Josef Urban, Geoff Sutcliffe
116
Voted
NN
2008
Springer
146views Neural Networks» more  NN 2008»
15 years 5 days ago
Clustering and co-evolution to construct neural network ensembles: An experimental study
This paper introduces an approach called Clustering and Co-evolution to Construct Neural Network Ensembles (CONE). This approach creates neural network ensembles in an innovative ...
Fernanda L. Minku, Teresa Bernarda Ludermir
119
Voted
PRL
2008
147views more  PRL 2008»
15 years 5 days ago
Deformations, patches, and discriminative models for automatic annotation of medical radiographs
In this paper, we describe three different methods for the classification and annotation of medical radiographs. The methods were applied in the medical image annotation tasks of ...
Thomas Deselaers, Hermann Ney
TEC
2008
135views more  TEC 2008»
15 years 4 days ago
Evolving Output Codes for Multiclass Problems
In this paper, we propose an evolutionary approach to the design of output codes for multiclass pattern recognition problems. This approach has the advantage of taking into account...
Nicolás García-Pedrajas, Colin Fyfe
91
Voted
TFS
2008
127views more  TFS 2008»
15 years 4 days ago
An Intelligent System for Machinery Condition Monitoring
A reliable monitoring system is critically needed in a wide range of industries to detect the occurrence of a fault to prevent machinery performance degradation, malfunction, and s...
Wilson Wang