1995 search results - page 105 / 399 » The Chemical Abstract Machine |
ICML
2002
IEEE
14 years 10 months ago
2002
IEEE
An open problem in reinforcement learning is discovering hierarchical structure. HEXQ, an algorithm which automatically attempts to decompose and solve a model-free factored MDP h...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
d Abstract) Koen Hindriks Man-Machine Interaction Group Delft University of Technology Mekelweg 4, Delft, The Netherlands
MLDM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We describe an algorithm called TargetCluster for the discretization of continuous targets in subgroup discovery. The algorithm identifies patterns in the target data an...
EUROGP
2007
Springer
14 years 3 months 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. ...
ICALT
2006
IEEE
14 years 3 months ago
2006
IEEE
The application of software engineering approaches to generate learning material adapted to a specific instructional purpose presents some issues: of different models, different a...