16430 search results - page 104 / 3286 » On Computable Tree Functions |
114
Voted
ICALP
2004
Springer
15 years 8 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...
109
Voted
ANTS
1998
Springer
15 years 7 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
113
Voted
TPHOL
1996
IEEE
15 years 7 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...
127
click to vote
SIAMCOMP
2008
15 years 3 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...
131
click to vote
CIG
2005
IEEE
15 years 9 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...