10792 search results - page 1864 / 2159 » An Evaluation of Non-Equijoin Algorithms |
149
Voted
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Structure-oriented approaches in clone detection have become popular in both code-based and model-based clone detection. However, existing methods for capturing structura...
181
click to vote
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
178
Voted
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In recent work, we proposed D-Trigger, a framework for tracking a global condition over a large network that allows us to detect anomalies while only collecting a very limited amo...
169
click to vote
ICDM
2007
IEEE
15 years 10 months ago
2007
IEEE
Data discretization is defined as a process of converting continuous data attribute values into a finite set of intervals with minimal loss of information. In this paper, we prove...
199
click to vote
HOTSWUP
2009
ACM
15 years 10 months ago
2009
ACM
Recent years have seen significant advances in dynamic software updating (DSU) systems, which allow programs to be patched on the fly. However, a significant challenge remains: Ho...