New Structural Method for Numeral Recognition
This paper proposes a new structural method of features extraction for handwritten, printed and isolated numeral recognition based on Freeman code method. It consists of extending the Freeman directions to 24-connectivity instead of 8-connectivity. This new technique shows its performances for the recognition in comparison with other techniques such as the classic Freeman code, the profile projection and the zoning. Numeral recognition is carried out in this work through k nearest neighbors. Results of simulations show that the proposed technique has obtained better results.
In this paper, we discuss the problem of transforming a natural language requirements specification into a formal specification. We present several methods to support the process and implemented them in a commercial tool, the Requirements Quality Suite. We achieve this by enriching the requirement text with additional structure (using a knowledge base) and asking the requirement engineer to formulate the requirements in Boilerplates. The additional structure is used to analyze the requirements automatically or semi-automatically leading finally to a formal specification. The formal specification then enables verification activities, such as testing or formal analysis. We discuss our methods by examples from an industrial case study and report on our experiences.