757 search results - page 104 / 152 » Monte Carlo Model Checking |
137
click to vote
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Embedded cryptosystems show increased vulnerabilities to implementation attacks such as power analysis. CMOS technology trends are causing increased process variations which impac...
111
Voted
RECOMB
2004
Springer
16 years 3 months ago
2004
Springer
Identifying gene clusters, genomic regions that share local similarities in gene organization, is a prerequisite for many different types of genomic analyses, including operon pred...
144
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Sensitivity analysis is an indispensable tool for the analysis of complex systems. In a recent paper, we have introduced a thermodynamically consistent variance-based ...
143
Voted
ISSRE
2003
IEEE
15 years 8 months ago
2003
IEEE
Many architecture–based software reliability models were proposed in the past. Regardless of the accuracy of these models, if a considerable uncertainty exists in the estimates ...
127
click to vote
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
This work introduces a new pattern recognition model for segmenting and tracking lip contours in video sequences. We formulate the problem as a general nonrigid object tracking me...