867 search results - page 6 / 174 » On Two Forms of Structural Recursion |
CIE
2007
Springer
15 years 6 months ago
2007
Springer
The interest is in characterizing insightfully the power of program self-reference in effective programming systems (epses), the computability-theoretic analogs of programming lan...
104
click to vote
ITP
2010
14 years 10 months ago
2010
Using HOL4, we mechanise termination and correctness for two unification algorithms, written in a recursive descent style. One computes unifiers for first order terms, the other fo...
INFORMATICALT
2000
15 years 5 days ago
2000
Abstract. The paper presents new method for sequential classification of the time series observations. Methods and algorithms of sequential recognition are obtained on the basis of...
100
click to vote
ISAAC
2004
Springer
15 years 5 months ago
2004
Springer
RNA is generally a single-stranded molecule where the bases form hydrogen bonds within the same molecule leading to structure formation. In comparing different homologous RNA mole...
UAI
2004
15 years 1 months ago
2004
We present a new method for nonlinear prediction of discrete random sequences under minimal structural assumptions. We give a mathematical construction for optimal predictors of s...