3082 search results - page 293 / 617 » Deviation Analysis: A New Use of Model Checking |
160
click to vote
DAC
2000
ACM
15 years 11 months ago
2000
ACM
Signal integrity analysis has become imperative for high-speed designs. In this paper, we present a new technique to advance Krylov-space based passive model-reduction algorithms ...
199
click to vote
TREC
2004
15 years 8 months ago
2004
UIUC participated in the HARD track in TREC 2004 and focused on the evaluation of a new method for identifying variable-length passages using HMMs. Most existing approaches to pas...
140
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, a new method of composing a multiclass classifier using pairwise classifiers is proposed. A “Resemblance Model” is exploited to calculate a posteriori probabili...
229
click to vote
JIT
2004
Springer
16 years 9 hour ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
180
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...