1930 search results - page 268 / 386 » Learning to Solve QBF |
AAAI
2007
13 years 11 months ago
2007
The mean running time of a Las Vegas algorithm can often be dramatically reduced by periodically restarting it with a fresh random seed. The optimal restart schedule depends on th...
FLAIRS
2007
13 years 11 months ago
2007
The LEGO Mindstorms robots provide an excellent introductory platform for students to learn computer programming. However, a major drawback is students’ lack of access to robots...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In this paper, we show that the optimization of density forecasting models for regression in machine learning can be formulated as a multi-objective problem. We describe ...
AAAI
2010
13 years 10 months ago
2010
We discuss challenges and opportunities for developing generalized task markets where human and machine intelligence are enlisted to solve problems, based on a consideration of th...
AAAI
2010
13 years 10 months ago
2010
Quantitative modeling plays a key role in the natural sciences, and systems that address the task of inductive process modeling can assist researchers in explaining their data. In...