2286 search results - page 175 / 458 » Statistical timing analysis based on a timing yield model |
172
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
159
click to vote
ISIPTA
2005
IEEE
16 years 3 days ago
2005
IEEE
A Chaotic Probability model is a usual set of probability measures, M, the totality of which is endowed with an objective, frequentist interpretation as opposed to being viewed as...
181
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Microarray data discretization is a basic preprocess for many algorithms of gene regulatory network inference. Some common discretization methods in informatics are us...
164
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
From time to time, state-of-the-art contrast enhancement algorithms face undesired drawbacks, like loss of tiny details, enhancement of image noise, occasional overenhancement, an...
265
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Image analysis is still considered as the bottleneck in 2D-gel based expression proteomics analysis for biomarkers discovery. We are presenting a new end-to-end image analysis pip...