759 search results - page 141 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
VTS
2000
IEEE
14 years 14 hour ago
2000
IEEE
The performance of deep sub-micron designs can be affected by various parametric variations, manufacturing defects, noise or even modeling errors that are all statistical in natur...
EUROMICRO
2009
IEEE
13 years 11 months ago
2009
IEEE
BPEL is the de facto standard for business process modeling in today's enterprises and is a promising candidate for the integration of business and scientific applications tha...
DSN
2004
IEEE
13 years 11 months ago
2004
IEEE
The progression of implementation technologies into the sub-100 nanometer lithographies renew the importance of understanding and protecting against single-event upsets in digital...
EACL
2006
ACL Anthology
13 years 9 months ago
2006
ACL Anthology
In this paper, we investigate the problem of automatically predicting segment boundaries in spoken multiparty dialogue. We extend prior work in two ways. We first apply approaches...
AAI
2008
13 years 7 months ago
2008
We present a novel hybrid technique for improving the predictive performance of an online Machine Learning system: Combining advantages from both memory based and concept based pr...