7742 search results - page 173 / 1549 » The Robustness of Level Sets |
163
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
179
click to vote
MMM
2008
Springer
16 years 28 days ago
2008
Springer
Effective similarity search in multi-media time series such as video or audio sequences is important for content-based multi-media retrieval applications. We propose a framework th...
148
click to vote
TACAS
2007
Springer
16 years 20 days ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
142
click to vote
DATE
2005
IEEE
16 years 5 days ago
2005
IEEE
In this paper, we present a two-level modeling approach to performance macromodeling based on radial basis function Support Vector Machine (SVM). The two-level model consists of a...
162
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...