In this paper, a classifier based on the positive Boolean function(PBF) is proposed for the supervised pattern classification. A PBF is exactly represented as one sum-of-product form without any negative components. The PBF possesses the well-known threshold decomposition and stacking properties. The classification errors can be calculated from the summation of the absolute errors incurred at e...

This study has aimed to compare the effects of two types of form-focused instruction, i.e. de-contextualized focus-on-forms instruction versus meaning-centered contextualized focus-on-form instruction, on the development of grammatical knowledge of Iranian high-school students. Two groups of male high-school first graders participated in this study.  One group was taught through de-contextualiz...

Event-B [19] is a language for the formal specification and verification of reactive systems. The language and its RODIN toolkit represent a leading model-based technology for formal software construction. However, scalability is a major current concern, especially the dimension of reusability. We outline a proposed infrastructure for scalable development with reuse for Event-B. We focus specif...

Event-B [19] is a language for the formal specification and verification of reactive systems. The language and its RODIN toolkit represent a leading model-based technology for formal software construction. However, scalability is a major current concern, especially the dimension of reusability. We outline a proposed infrastructure for scalable development with reuse for Event-B. We focus specif...