Sciweavers

454 search results - page 60 / 91
» Model Based Importance Analysis for Minimal Cut Sets
Sort
View
DAC
1998
ACM
15 years 6 months ago
OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
Farzan Fallah, Srinivas Devadas, Kurt Keutzer
BMCBI
2010
172views more  BMCBI 2010»
15 years 2 months ago
Comparison of evolutionary algorithms in gene regulatory network model inference
Background: The evolution of high throughput technologies that measure gene expression levels has created a data base for inferring GRNs (a process also known as reverse engineeri...
Alina Sîrbu, Heather J. Ruskin, Martin Crane
116
Voted
SMI
2006
IEEE
15 years 7 months ago
Semi-Interactive Morphogenesis
This paper presents a method to simulate growth phenomena, and its application to the modeling of complex organic shapes (e.g., plants organs) and folded surfaces. Our main contri...
Jean Combaz, Fabrice Neyret
CVPR
2007
IEEE
16 years 3 months ago
Detector Ensemble
Component-based detection methods have demonstrated their promise by integrating a set of part-detectors to deal with large appearance variations of the target. However, an essent...
Shengyang Dai, Ming Yang, Ying Wu, Aggelos K. Kats...
129
Voted
SCALESPACE
1999
Springer
15 years 6 months ago
Fast Marching to Moving Object Location
In this paper we address two important problems in motion analysis: the detection of moving objects and their localization. Statistical and level set approaches are adopted in orde...
Eftychios Sifakis, George Tziritas