321 search results - page 45 / 65 » Testing protocols modeled as FSMs with timing parameters |
202
click to vote
RECOMB
2011
Springer
14 years 3 months ago
2011
Springer
Motivation. Current approaches to RNA structure prediction range from physics-based methods, which rely on thousands of experimentally-measured thermodynamic parameters, to machin...
129
click to vote
JCNS
2000
15 years 7 days ago
2000
We explore a computationally efficient method of simulating realistic networks of neurons introduced by Knight, Manin, and Sirovich (1996) in which integrate-and-fire neurons are ...
121
click to vote
TCAD
2008
15 years 10 days ago
2008
We present an efficient optimization scheme for gate sizing in the presence of process variations. Our method is a worst-case design scheme, but it reduces the pessimism involved i...
88
Voted
TREC
2004
15 years 1 months ago
2004
Our system for the Novelty Track at TREC 2004 looks beyond sentence boundaries as well as within sentences to identify novel, nonduplicative passages. It tries to identify text sp...
109
Voted
ICCAD
2009
IEEE
14 years 10 months ago
2009
IEEE
The lack of good "correlation" between pre-silicon simulated delays and measured delays on silicon (silicon data) has spurred efforts on so-called silicon debug. The ide...