8141 search results - page 217 / 1629 » Higher Order Generalization |
113
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
We compare the expressiveness of two extensions of monadic second-order logic (MSO) over the class of finite structures. The first, counting monadic second-order logic (CMSO), ex...
115
Voted
CORR
2002
Springer
15 years 3 months ago
2002
Springer
We introduce a general and in a certain sense time-optimal way of solving one problem after another, efficiently searching the space of programs that compute solution candidates, i...
150
click to vote
TCS
2010
15 years 2 months ago
2010
The paper contains the first complete proof of strong normalization (SN) for full second order linear logic (LL): Girard’s original proof uses a standardization theorem which i...
170
click to vote
CICLING
2012
Springer
13 years 11 months ago
2012
Springer
The positional rigidity of graphemes (as well as words considered as single units) in written sequences has been analyzed in this paper using complex network methodology. In partic...
175
click to vote
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
? Robust feature matching across different views of the same scene taken by two cameras with wide baseline and arbitrary rotation is still an open problem. Matching based on appear...