Results 1  10
of
206,425
Recursion
"... Suppose A(n) is an assertion that depends on n. We use induction to prove that A(n) is true when we show that • it’s true for the smallest value of n and • if it’s true for everything less than n, then it’s true for n. ..."
Abstract
 Add to MetaCart
Suppose A(n) is an assertion that depends on n. We use induction to prove that A(n) is true when we show that • it’s true for the smallest value of n and • if it’s true for everything less than n, then it’s true for n.
Recursive
"... marginal quantization of an Euler scheme with applications to local volatility models ..."
Abstract
 Add to MetaCart
marginal quantization of an Euler scheme with applications to local volatility models
Recursive Query Plans for Data Integration
 Journal of Logic Programming
, 1999
"... Generating queryanswering plans for data integration systems requires to translate a user query, formulated in terms of a mediated schema, to a query that uses relations that are actually stored in data sources. Previous solutions to the translation problem produced sets of conjunctive plans, and w ..."
Abstract

Cited by 111 (4 self)
 Add to MetaCart
only a subset of the possible answers). We describe the novel class of recursive query answering plans, which enables us to settle three open problems. First, we describe an algorithm for finding a query plan that produces the maximal set of answers from the sources for arbitrary recursive queries
On the Length of Programs for Computing Finite Binary Sequences
 Journal of the ACM
, 1966
"... The use of Turing machines for calculating finite binary sequences is studied from the point of view of information theory and the theory of recursive functions. Various results are obtained concerning the number of instructions in programs. A modified form of Turing machine is studied from the same ..."
Abstract

Cited by 294 (8 self)
 Add to MetaCart
The use of Turing machines for calculating finite binary sequences is studied from the point of view of information theory and the theory of recursive functions. Various results are obtained concerning the number of instructions in programs. A modified form of Turing machine is studied from
Semantic Compositionality through Recursive MatrixVector Spaces
"... Singleword vector space models have been very successful at learning lexical information. However, they cannot capture the compositional meaning of longer phrases, preventing them from a deeper understanding of language. We introduce a recursive neural network (RNN) model that learns compositional ..."
Abstract

Cited by 174 (11 self)
 Add to MetaCart
Singleword vector space models have been very successful at learning lexical information. However, they cannot capture the compositional meaning of longer phrases, preventing them from a deeper understanding of language. We introduce a recursive neural network (RNN) model that learns compositional
Results 1  10
of
206,425