2686 search results - page 82 / 538 » Testing metric properties |
180
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
In the presence of an internal state, often it is required a sequence of function calls to test software. In fact, to cover a particular branch of the code, a sequence of previous...
115
click to vote
CMSB
2006
Springer
15 years 6 months ago
2006
Springer
Having in mind the large-scale analysis of gene regulatory networks, we review a graph decimation algorithm, called "leaf-removal", which can be used to evaluate the feed...
126
click to vote
FLAIRS
2010
15 years 5 months ago
2010
In this paper, we propose the application of standard decomposition approaches to find local correlations in multimodal data. In a test scenario, we apply these methods to correla...
131
click to vote
PSTV
1993
15 years 4 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
146
click to vote
OL
2011
14 years 6 months ago
2011
In this paper we present a methodology for finding tight convex relaxations for a special set of quadratic constraints given by bilinear and linear terms that frequently arise in ...