3044 search results - page 7 / 609 » Linear logical approximations |
SIAMNUM
2010
13 years 2 months ago
2010
This paper continues the convergence analysis in [M. Giles and S. Ulbrich, SIAM J. Numer. Anal., 48 (2010), pp. 882
SIAMCOMP
2012
11 years 10 months ago
2012
SBIA
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. The aim of this paper is to study a family of logics that approximates classical inference, in which every step in the approximation can be decided in polynomial time. Fo...
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
We present a technique for higher-order representation of substructural logics such as linear or modal logic. We show that such logics can be encoded in the (ordinary) Logical Fra...
TIT
2002
13 years 7 months ago
2002
Sets of multivariable functions are described for which worst case errors in linear approximation are larger than those in approximation by neural networks. A theoretical framework...