3353 search results - page 48 / 671 » Laver and set theory |
100
click to vote
ICANN
2010
Springer
14 years 10 months ago
2010
Springer
It has been one of the great challenges of neuro-symbolic integration to represent recursive logic programs using neural networks of finite size. In this paper, we propose to imple...
ISIPTA
2003
IEEE
15 years 3 months ago
2003
IEEE
The purpose of this paper is to survey recent developments and trends in the area of generalized information theory (GIT) and to discuss some of the issues of current interest in ...
108
click to vote
CCA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory o...
APAL
2006
14 years 9 months ago
2006
For a long time people have been trying to develop probability theory starting from `finite' events rather than collections of infinite events. In this way one can find natura...
IWPEC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We introduce a general notion of miniaturization of a problem that comprises the different miniaturizations of concrete problems considered so far. We develop parts of t...