877 search results - page 100 / 176 » Annotated Revision Programs |
131
click to vote
TSE
2008
15 years 2 months ago
2008
This paper introduces a new technique for predicting latent software bugs, called change classification. Change classification uses a machine learning classifier to determine wheth...
113
Voted
INFORMS
2000
15 years 2 months ago
2000
Time-indexed formulations for machine scheduling problems have received a great deal of attention; not only do the linear programming relaxations provide strong lower bounds, but ...
117
Voted
COMPSAC
2010
IEEE
14 years 9 months ago
2010
IEEE
With the rapid development of model-driven engineering (MDE), domain-specific modeling has become a widely used software development technique. In MDE, metamodels represent a schem...
155
Voted
CORR
2011
Springer
14 years 6 months ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...
125
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: The ability to visualize genomic features and design experimental assays that can target specific regions of a genome is essential for modern biology. To assist in the...