1888 search results - page 259 / 378 » Proof theory and computational analysis |
116
Voted
NIPS
1993
15 years 3 months ago
1993
Recent developments in the area of reinforcement learning have yielded a number of new algorithms for the prediction and control of Markovian environments. These algorithms,includ...
100
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
In this work, we consider a distributed source coding problem with a joint distortion criterion depending on the sources and the reconstruction. This includes as a special case the...
128
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
: This document gives an algebraic and two polygraphic translations of Petri nets, all three providing an easier way to describe reductions and to identify some of them. The first ...
112
click to vote
MA
2010
Springer
15 years 6 days ago
2010
Springer
In this work we provide a new methodology for comparing regression functions m1 and m2 from two samples. Since apart from smoothness no other (parametric) assumptions are required...
186
click to vote
SLOGICA
2011
14 years 8 months ago
2011
The paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods. Some attentio...