4491 search results - page 344 / 899 » Algorithm Engineering |
127
Voted
TAPSOFT
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Reasoning on programs and automated deduction often require the manipulation of in nite sets of objects. Many formalisms have been proposed to handle such sets. Here we d...
118
click to vote
COMPSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Test cost minimisation approaches have traditionally been devoted to minimising "execution costs", while maximising coverage or reliability. However, in a runti...
165
click to vote
ICDE
2010
IEEE
15 years 10 months ago
2010
IEEE
— Finding the k nearest neighbors (kNN) of a query point, or a set of query points (kNN-Join) are fundamental problems in many application domains. Many previous efforts to solve...
146
click to vote
ECLIPSE
2007
ACM
15 years 7 months ago
2007
ACM
We present a tool that predicts whether the software under development inside an IDE has a bug. An IDE plugin performs this prediction, using the Change Classification technique t...
141
click to vote
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
Link spam is used to increase the ranking of certain target web pages by misleading the connectivity-based ranking algorithms in search engines. In this paper we study how web pag...