3820 search results - page 134 / 764 » Bounded Model Debugging |
125
Voted
WABI
2007
Springer
15 years 8 months ago
2007
Springer
Predicting the secondary structure of an RNA sequence is an important problem in structural bioinformatics. The general RNA folding problem, where the sequence to be folded may con...
120
Voted
FSE
2010
Springer
15 years 6 months ago
2010
Springer
This paper provides a unified framework for improving PRF (pseudorandom function) advantages of several popular MACs (message authentication codes) based on a blockcipher modeled a...
140
click to vote
NIPS
2007
15 years 4 months ago
2007
Empirical risk minimization offers well-known learning guarantees when training and test data come from the same domain. In the real world, though, we often wish to adapt a classi...
149
Voted
UAI
2008
15 years 4 months ago
2008
Confidence measures for the generalization error are crucial when small training samples are used to construct classifiers. A common approach is to estimate the generalization err...
135
click to vote
ECRTS
2010
IEEE
15 years 2 months ago
2010
IEEE
—In distributed real-time embedded systems (DRE), it is common to model an application as a set of task chains. Each chain is activated cyclically and must complete before an end...