467 search results - page 38 / 94 » I O-automata Based Testing |
93
Voted
RTSS
1995
IEEE
15 years 4 months ago
1995
IEEE
In this paper, we present a new strategy for providing flexibility in hard real-time systems. This approach, based on dual priorities, retains the offline guarantees afforded to...
110
Voted
CIVR
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a comparative study of methods for video copy detection. Different state-of-the-art techniques, using various kinds of descriptors and voting functions, are d...
93
Voted
MICRO
2006
IEEE
15 years 6 months ago
2006
IEEE
Dynamic software bug detection tools are commonly used because they leverage run-time information. However, they suffer from a fundamental limitation, the Path Coverage Problem: t...
116
click to vote
KDD
2003
ACM
16 years 27 days ago
2003
ACM
In this paper, we study the problem of applying data mining to facilitate the investigation of money laundering crimes (MLCs). We have identified a new paradigm of problems --- th...
96
Voted
IRI
2006
IEEE
15 years 6 months ago
2006
IEEE
—The transformational methodology described in this paper induces new knowledge, which may be open under any deductive process. The method of transposition is used to maintain a ...