3082 search results - page 431 / 617 » Deviation Analysis: A New Use of Model Checking |
205
click to vote
JCB
2008
15 years 6 months ago
2008
We present BayesMD, a Bayesian Motif Discovery model with several new features. Three different types of biological a priori knowledge are built into the framework in a modular fa...
164
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Current Static Timing Analysis (STA) techniques allow one to verify the timing of a circuit at different process corners which only consider cases where all the supplies are low o...
180
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Analysis of complex samples with tandem mass spectrometry (MS/MS) has become routine in proteomic research. However, validation of database search results creates a bo...
165
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Novel online file sharing technologies have created new market dynamics and posed a great challenge to the music industry to try and retain customers. Consumers have created anony...
217
click to vote
TMC
2012
13 years 8 months ago
2012
—Backoff misbehavior, in which a wireless node deliberately manipulates its backoff time, can induce significant network problems, such as severe unfairness and denial-of-servic...