3742 search results - page 578 / 749 » On the Use of Formal Techniques for Validation |
200
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...
171
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: In the study of cancer genomics, gene expression microarrays, which measure thousands of genes in a single assay, provide abundant information for the investigation of...
257
click to vote
ISPD
2011
ACM
14 years 9 months ago
2011
ACM
Three-dimensional ICs promise to significantly extend the scale of system integration and facilitate new-generation electronics. However, progress in commercial 3D ICs has been s...
406
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
The problem of recognizing actions in realistic videos
is challenging yet absorbing owing to its great potentials
in many practical applications. Most previous research is
limit...
170
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
Fast retrieval methods are critical for large-scale and
data-driven vision applications. Recent work has explored
ways to embed high-dimensional features or complex distance
fun...