154 search results - page 1 / 31 » Cobham recursive set functions |
CSL
2010
Springer
13 years 5 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
ALT
1999
Springer
13 years 8 months ago
1999
Springer
Abstract. Blum and Blum (1975) showed that a class B of suitable recursive approximations to the halting problem is reliably EX-learnable. These investigations are carried on by sh...
ICECCS
2010
IEEE
13 years 3 months ago
2010
IEEE
—We present a model that explains immunological memory as a consequence of the recursive proliferation of reactive and suppressive cells, where the relative proportion of these c...
GECCO
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We demonstrate a fully automated method for obtaining a closedform approximation of a recursive function. This method resulted from a realworld problem in which we had a ...
IDEAL
2005
Springer
13 years 10 months ago
2005
Springer
Recently, there has been a considerable research activity in extending topographic maps of vectorial data to more general data structures, such as sequences or trees. However, the ...