4277 search results - page 95 / 856 » On Multiple Linear Approximations |
ICTCS
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Given two proofs in a logical system with a confluent cutelimination procedure, the cut-elimination problem (CEP) is to decide whether these proofs reduce to the same no...
CSL
2002
Springer
14 years 10 months ago
2002
Springer
Abstract. We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin's system for the intuitionistic...
CORR
2002
Springer
14 years 10 months ago
2002
Springer
In this paper we study approximation algorithms for solving a general covering integer program. An
NIPS
2001
14 years 11 months ago
2001
We address two open theoretical questions in Policy Gradient Reinforcement Learning. The first concerns the efficacy of using function approximation to represent the state action ...
MOC
1998
14 years 9 months ago
1998
Abstract. We present formulations of the Trotter-Kato theorem for approximation of linear C0-semigroups which provide very useful framework when convergence of numerical approximat...