220 search results - page 11 / 44 » Using Difference Reduction for Generic Proof Search |
AICCSA
2008
IEEE
13 years 10 months ago
2008
IEEE
Time Series are ubiquitous, hence, similarity search is one of the biggest challenges in the area of mining time series data. This is due to the vast data size, number of sequence...
SADM
2010
13 years 2 months ago
2010
This paper is concerned with classifying high dimensional data into one of two categories. In various settings, such as when dealing with fMRI and microarray data, the number of v...
CBMS
2005
IEEE
13 years 10 months ago
2005
IEEE
Inductive learning systems have been successfully applied in a number of medical domains. Nevertheless, the effective use of these systems requires data preprocessing before apply...
BMCBI
2008
13 years 8 months ago
2008
Background: The use of novel algorithmic techniques is pivotal to many important problems in life science. For example the sequencing of the human genome [1] would not have been p...
ICML
2010
IEEE
13 years 9 months ago
2010
IEEE
Dimension reduction is popular for learning predictive models in high-dimensional spaces. It can highlight the relevant part of the feature space and avoid the curse of dimensiona...