52 search results - page 5 / 11 » ml 2002 |
ML
2002
ACM
13 years 10 months ago
2002
ACM
Solving in an efficient manner many different optimal control tasks within the same underlying environment requires decomposing the environment into its computationally elemental ...
ML
2002
ACM
13 years 10 months ago
2002
ACM
Practical experience has shown that in order to obtain the best possible performance, prior knowledge about invariances of a classification problem at hand ought to be incorporated...
ML
2002
ACM
13 years 10 months ago
2002
ACM
We present new algorithms for reinforcement learning, and prove that they have polynomial bounds on the resources required to achieve near-optimal return in general Markov decisio...
ENTCS
2002
13 years 10 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
CORR
2002
Springer
13 years 10 months ago
2002
Springer
We present two methods for unsupervised segmentation of words into morphemelike units. The model utilized is especially suited for languages with a rich morphology, such as Finnis...