278 search results - page 32 / 56 » A Framework for Counterexample Generation and Exploration |
85
Voted
ICPR
2010
IEEE
15 years 6 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,...
101
Voted
DSD
2004
IEEE
15 years 4 months 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...
122
click to vote
BMCBI
2010
14 years 7 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...
108
Voted
IS
2008
15 years 12 days 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...
119
Voted
SAC
2008
ACM
14 years 12 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...