1901 search results - page 45 / 381 » Predicting Program Properties from |
JMLR
2012
13 years 1 months ago
2012
We present SpeedBoost, a natural extension of functional gradient descent, for learning anytime predictors, which automatically trade computation time for predictive accuracy by s...
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
— Model reduction methods from diverse fields— including control, statistical mechanics and economics—aimed at systems that can be represented by Markov chains, are discusse...
118
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: There are a number of methods (also called: measures) currently in use that quantify codon usage in genes. These measures are often influenced by other sequence proper...
POPL
2012
ACM
13 years 6 months ago
2012
ACM
Data races are among the most reliable indicators of programming errors in concurrent software. For at least two decades, Lamport’s happens-before (HB) relation has served as th...
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
One of the main objectives of developing component-based software systems is to enable efficient building of systems through the integration of components. All component models def...