2018 search results - page 97 / 404 » Code Normal Forms |
113
click to vote
ICPR
2006
IEEE
16 years 3 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...
125
click to vote
TLCA
2009
Springer
15 years 8 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...
95
Voted
DEXAW
2007
IEEE
15 years 8 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...
108
click to vote
BIRTHDAY
2007
Springer
15 years 8 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...
142
click to vote
CSL
2007
Springer
15 years 8 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...