1829 search results - page 124 / 366 » On Learning Soccer Strategies |
163
click to vote
EUROGP
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
178
click to vote
DATE
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper introduces a new SAT solver that integrates logicbased reasoning and integer programming methods to systems of CNF and PB constraints. Its novel features include an eff...
135
click to vote
ESANN
2007
15 years 7 months ago
2007
A method for tuning MLP learning parameters in an ensemble classifier framework is presented. No validation set or cross-validation technique is required to optimize parameters for...
190
click to vote
JSAC
2011
15 years 1 months ago
2011
—Various spectrum management schemes have been proposed in recent years to improve the spectrum utilization in cognitive radio networks. However, few of them have considered the ...
171
click to vote
ALT
2007
Springer
16 years 3 months ago
2007
Springer
In this paper, we address the issue of learning nonlinearly separable concepts with a kernel classifier in the situation where the data at hand are altered by a uniform classific...