14244 search results - page 260 / 2849 » Modeling Program Predictability |
121
click to vote
CP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Machine learning can be utilized to build models that predict the runtime of search algorithms for hard combinatorial problems. Such empirical hardness models have previo...
134
click to vote
AIED
2011
Springer
14 years 6 months ago
2011
Springer
Narrative-centered learning environments introduce novel opportunities for supporting student problem solving and learning. By incorporating cognitive tools into plots and characte...
141
click to vote
INFSOF
2007
15 years 3 months ago
2007
An important decision problem in many software projects is when to stop testing and release software for use. For many software products, time to market is critical and therefore ...
BMCBI
2010
15 years 3 months ago
2010
Background: Estimation of DNA duplex hybridization free energy is widely used for predicting cross-hybridizations in DNA computing and microarray experiments. A number of software...
130
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...