278 search results - page 32 / 56 » A Framework for Counterexample Generation and Exploration |
ICPR
2010
IEEE
14 years 2 months ago
2010
IEEE
Conventional contour tracking algorithms with level set often use generative models to construct the energy function. For tracking through cluttered and noisy background, however,...
DSD
2004
IEEE
14 years 6 days ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
BMCBI
2010
13 years 3 months ago
2010
Background: DNA Microarrays have become the standard method for large scale analyses of gene expression and epigenomics. The increasing complexity and inherent noisiness of the ge...
IS
2008
13 years 8 months ago
2008
In this paper, we formalize the digital library (DL) integration problem and propose an overall approach based on the 5S (streams, structures, spaces, scenarios, and societies) fr...
SAC
2008
ACM
13 years 8 months ago
2008
ACM
In many volume visualization applications there is some region of specific interest where we wish to see fine detail - yet we do not want to lose an impression of the overall pict...