Sciweavers

8094 search results - page 210 / 1619
» Improvements in Formula Generalization
Sort
View
POPL
1995
ACM
14 years 2 months ago
Total Correctness by Local Improvement in Program Transformation
The goal of program transformation is to improve efficiency while preserving meaning. One of the best known transformation techniques is Burstall and Darlington’s unfold-fold me...
David Sands
KDD
2008
ACM
148views Data Mining» more  KDD 2008»
14 years 11 months ago
Get another label? improving data quality and data mining using multiple, noisy labelers
This paper addresses the repeated acquisition of labels for data items when the labeling is imperfect. We examine the improvement (or lack thereof) in data quality via repeated la...
Victor S. Sheng, Foster J. Provost, Panagiotis G. ...
FOCS
2006
IEEE
14 years 4 months ago
Approximation algorithms for allocation problems: Improving the factor of 1 - 1/e
Combinatorial allocation problems require allocating items to players in a way that maximizes the total utility. Two such problems received attention recently, and were addressed ...
Uriel Feige, Jan Vondrák
SIGIR
2011
ACM
13 years 1 months ago
A boosting approach to improving pseudo-relevance feedback
Pseudo-relevance feedback has proven effective for improving the average retrieval performance. Unfortunately, many experiments have shown that although pseudo-relevance feedback...
Yuanhua Lv, ChengXiang Zhai, Wan Chen
CIKM
2009
Springer
14 years 3 months ago
Improvements that don't add up: ad-hoc retrieval results since 1998
The existence and use of standard test collections in information retrieval experimentation allows results to be compared between research groups and over time. Such comparisons, ...
Timothy G. Armstrong, Alistair Moffat, William Web...