1173 search results - page 124 / 235 » Ranking functions and rankings on languages |
CAV
2011
Springer
13 years 19 days ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
CAEPIA
2011
Springer
12 years 9 months ago
2011
Springer
Abstract. In the last years, cluster based retrieval has been demonstrated as an effective tool for both interactive retrieval and pseudo relevance feedback techniques. In this pa...
ECML
2007
Springer
14 years 3 months ago
2007
Springer
L1 regularization is effective for feature selection, but the resulting optimization is challenging due to the non-differentiability of the 1-norm. In this paper we compare state...
GECCO
2006
Springer
14 years 21 days ago
2006
Springer
An algorithm independent metric is introduced that measures the dispersion of a uniform random sample drawn from the top ranked percentiles of the search space. A low dispersion f...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
Writes via unchecked pointer dereferences rank high among vulnerabilities most often exploited by malicious code. The most common attacks use an unchecked string copy to cause a b...