14244 search results - page 386 / 2849 » Modeling Program Predictability |
124
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
A successful industrial application of a novel type biomass estimator based on Genetic Programming (GP) is described in the paper. The biomass is inferred from other available meas...
177
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
147
Voted
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a novel discriminative training algorithm for n-gram language models for use in large vocabulary continuous speech recognition. The algorithm uses large margin estimati...
106
click to vote
JCB
2006
15 years 4 months ago
2006
For a model of molecular evolution to be useful for phylogenetic inference, the topology of evolutionary trees must be identifiable. That is, from a joint distribution the model p...
128
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...