1948 search results - page 249 / 390 » Formalizing Mirror Theory |
180
click to vote
COLT
2000
Springer
15 years 11 months ago
2000
Springer
We give the first rigorous upper bounds on the error of temporal difference (td) algorithms for policy evaluation as a function of the amount of experience. These upper bounds pr...
151
click to vote
ECML
2000
Springer
15 years 11 months ago
2000
Springer
In the present paper we propose a consistent way to integrate syntactical least general generalizations (lgg's) with semantic evaluation of the hypotheses. For this purpose we...
143
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
What EDI needs is a good semantics, that is, a workable formal theory of what EDI messages mean. As is widely recognized, the point applies to electronic commerce and to communica...
163
click to vote
AGP
1997
IEEE
15 years 11 months ago
1997
IEEE
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...
165
click to vote
VISUALIZATION
1994
IEEE
15 years 10 months ago
1994
IEEE
To render images from a three-dimensional array of sample values, it is necessary to interpolate between the samples. This paper is concerned with interpolation methods that are e...