Sciweavers

2620 search results - page 129 / 524
» An Evaluation Technique for Binarization Algorithms
Sort
View
IJHIS
2008
84views more  IJHIS 2008»
13 years 8 months ago
Selective generation of training examples in active meta-learning
Meta-Learning has been successfully applied to acquire knowledge used to support the selection of learning algorithms. Each training example in Meta-Learning (i.e. each meta-exampl...
Ricardo Bastos Cavalcante Prudêncio, Teresa ...
WWW
2008
ACM
14 years 8 months ago
Reasoning about similarity queries in text retrieval tasks
In many text retrieval tasks, it is highly desirable to obtain a "similarity profile" of the document collection for a given query. We propose sampling-based techniques ...
Xiaohui Yu, Yang Liu
CAV
2012
Springer
270views Hardware» more  CAV 2012»
11 years 10 months ago
Automated Termination Proofs for Java Programs with Cyclic Data
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
Marc Brockschmidt, Richard Musiol, Carsten Otto, J...
AAAI
2008
13 years 10 months ago
Semi-Supervised Ensemble Ranking
Ranking plays a central role in many Web search and information retrieval applications. Ensemble ranking, sometimes called meta-search, aims to improve the retrieval performance b...
Steven C. H. Hoi, Rong Jin
KDD
2004
ACM
138views Data Mining» more  KDD 2004»
14 years 8 months ago
IDR/QR: an incremental dimension reduction algorithm via QR decomposition
Dimension reduction is a critical data preprocessing step for many database and data mining applications, such as efficient storage and retrieval of high-dimensional data. In the ...
Jieping Ye, Qi Li, Hui Xiong, Haesun Park, Ravi Ja...