3001 search results - page 198 / 601 » Recursive type generativity |
172
click to vote
IJAC
2007
15 years 6 months ago
2007
Abstract. Rotation distance quantifies the difference in shape between two rooted binary trees of the same size by counting the minimum number of elementary changes needed to tra...
201
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
222
click to vote
SANSKRIT
2010
15 years 4 months ago
2010
Sanskrit is very rich in compound formation. Typically a compound does not code the relation between its components explicitly. To understand the meaning of a compound, it is neces...
157
click to vote
NECO
2007
15 years 6 months ago
2007
Recently Izhikevich (2003) proposed a new canonical neuron model of spike generation. The model was surprisingly simple, yet able to accurately replicate the firing patterns of d...
181
click to vote
ALT
1998
Springer
15 years 10 months ago
1998
Springer
An index for an r.e. class of languages (by definition) generates a sequence of grammars defining the class. An index for an indexed family of recursive languages (by definition) ...