16430 search results - page 104 / 3286 » On Computable Tree Functions |
140
click to vote
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
136
click to vote
ANTS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper describes a method for computing the fundamental unit and regulator of a purely cubic congruence function field of unit
142
click to vote
TPHOL
1996
IEEE
15 years 10 months ago
1996
IEEE
We will present a Logic of Computable Functions based on the idea of Synthetic Domain Theory such that all functions are automatically continuous. Its implementation in the Lego pr...
164
click to vote
SIAMCOMP
2008
15 years 6 months ago
2008
The Graph Theorem of classical recursion theory states that a total function on the natural numbers is computable, if and only if its graph is recursive. It is known that this res...
176
click to vote
CIG
2005
IEEE
15 years 12 months ago
2005
IEEE
AbstractGroup utility functions are an extension of the common team utility function for providing multiple agents with a common reinforcement learning signal for learning cooperat...