Different character recognition problems have their own specific characteristics. The state-of-art OCR technologies take different recognition approaches, which are most effective, to recognize different types of characters. How to identify character type automatically, then use specific recognition engines, has not brought enough attention among researchers. Most of the limited researches are ...

We give a purely syntactic proof (from scratch) of the subject equality property of the BCD intersection type system through a reformulation of the subtyping relation having a “cutelimination” property.

We investigated the optimal spectral bands for the identification of lighting types and the estimation of four major indices used to measure the efficiency or character of lighting. To accomplish these objectives we collected high-resolution emission spectra (350 to 2,500 nm) for forty-three different lamps, encompassing nine of the major types of lamps used worldwide. The narrow band emission ...