2774 search results - page 163 / 555 » Query-Driven Program Testing |
107
click to vote
MEMOCODE
2010
IEEE
15 years 10 days ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
108
click to vote
IFIP
2009
Springer
15 years 4 days ago
2009
Springer
Traffic repositories with TCP/IP header information are very important for network analysis. Researchers often assume that such repositories reliably represent all traffic that has...
121
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
The stochastic simulation of biological systems is an increasingly popular technique in bioinformatics. It often is an enlightening technique, which may however result in being com...
116
Voted
EMNLP
2011
14 years 2 months ago
2011
This paper describes an algorithm for exact decoding of phrase-based translation models, based on Lagrangian relaxation. The method recovers exact solutions, with certificates of...
137
click to vote
JMLR
2012
13 years 4 months ago
2012
We present a minimax framework for classification that considers stochastic adversarial perturbations to the training data. We show that for binary classification it is equivale...