3395 search results - page 169 / 679 » Learning to efficiently rank |
135
Voted
CAV
2012
Springer
13 years 6 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
143
Voted
KDD
2007
ACM
16 years 4 months ago
2007
ACM
We present DL8, an exact algorithm for finding a decision tree that optimizes a ranking function under size, depth, accuracy and leaf constraints. Because the discovery of optimal...
126
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Classification of protein sequences is a central problem in computational biology. Currently, among computational methods discriminative kernel-based approaches provid...
103
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Since the single nucleotide polymorphisms (SNPs) are genetic variations which determine the difference between any two unrelated individuals, the SNPs can be used to i...
103
click to vote
EACL
2009
ACL Anthology
16 years 4 months ago
2009
ACL Anthology
We present the results of a large-scale, end-to-end human evaluation of various sentiment summarization models. The evaluation shows that users have a strong preference for summar...