Μ-recursive function

Known as: Partial recursive function, Recursive function, M-recursive function 
In mathematical logic and computer science, the μ-recursive functions are a class of partial functions from natural numbers to natural numbers that… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
This paper develops a probabilistic approach to recursive second-order training of recurrent neural networks (RNNs) for improved… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • table II
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2008
2008
As potential candidates for explaining human cognition, connectionist models of sentence processing must demonstrate their… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
In argumentation theory, Dung’s abstract framework provides a unifying view of several alternative semantics based on the notion… (More)
Is this relevant?
2004
2004
° Fundamental dynamic programming recursive equations are extended to the multicriteria framework. In particular, a more detailed… (More)
  • table 3
Is this relevant?
Highly Cited
2001
Highly Cited
2001
The proofs of "traditional" proof carrying code (PCC) are type-specialized in the sense that they require axioms about a specific… (More)
  • figure 1
Is this relevant?
Highly Cited
2000
Highly Cited
2000
A general recursive algorithm for the efficient and accurate computation of the bit error rate (BER) of square-shaped M-QAM… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1998
1998
information from multidimensional primary signals, and to represent it as a location, say, in a two-dimensional network. Although… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
Highly Cited
1998
Highly Cited
1998
In this correspondence, we present a general recursive approach for image segmentation by extending Otsu's (1978) method. The new… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We consider the problem of answering datalog queries using materialized views. The abiity to answer queries using views is… (More)
Is this relevant?