229 search results - page 13 / 46 » Assessing, Comparing, and Combining Statechart- based testin... |
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
BMCBI
2005
13 years 7 months ago
2005
Background: In the analysis of microarray data one generally produces a vector of p-values that for each gene give the likelihood of obtaining equally strong evidence of change by...
IJCV
2008
13 years 7 months ago
2008
Abstract A fully automatic initialization approach for 3Dmodel-based vehicle tracking has been developed, based on Edge-Element and Optical-Flow association. An entire automatic in...
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
We propose a fast algorithm, EMD-L1, for computing the Earth Mover's Distance (EMD) between a pair of histograms. Compared to the original formulation, EMD-L1 has a largely si...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper we use Dijkstra’s algorithm as a challenging, hard to parallelize paradigm to test the efficacy of several parallelization techniques in a multicore architecture....