294 search results - page 8 / 59 » On Recursively Directed Hypercubes |
ITP
2010
15 years 1 months ago
2010
In this paper, we develop a general theory of fixed point combinators, in higher-order logic equipped with Hilbert’s epsilon operator. This combinator allows for a direct and e...
MVA
2002
14 years 9 months ago
2002
Anew method to extract retinal blood vessels from a colour fundus image is described. Digital colour h d u s images are contrast enhanced in order to obtain sharp edges. The green...
59
Voted
ISCAS
2005
IEEE
15 years 3 months ago
2005
IEEE
— A principle of linear mean-square estimation which we call the “missing observations theorem” is presented here and used to provide a simple alternative derivation of Levin...
133
Voted
ENTCS
2010
14 years 7 months ago
2010
ScalaBison is a parser generator accepting bison syntax and generating a parser in Scala. The generated parser uses the idea of "recursive ascent-descent parsing," that ...
ACTA
2007
14 years 9 months ago
2007
The recursive descent parsing method for the context-free grammars is extended for their generalization, Boolean grammars, which include explicit set-theoretic operations in the f...