2018 search results - page 97 / 404 » Code Normal Forms |
135
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
In this paper, we present an off-line cursive word handwriting recognition methodology. This is based on an additive fusion resulted after a novel combination of two different mod...
147
click to vote
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
The straightforward elimination of union types is known to break subject reduction, and for some extensions of the lambda-calculus, to break strong normalization as well. Similarly...
116
click to vote
DEXAW
2007
IEEE
15 years 10 months ago
2007
IEEE
The categorization of documents is traditionally topic-based. This paper presents a complementary analysis of research and experiments on genre to show that encouraging results ca...
130
click to vote
BIRTHDAY
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we review some well-known theory about reduction strategies of various kinds: normalizing, outermost-fair, cofinal, Church-Rosser. A stumbling block in the...
163
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...