Nominal unification calculates substitutions that make terms involving binders equal modulo alphaequivalence. Although nominal unification can be seen as equivalent to Miller’s higher-order pattern unification, it has properties, such as the use of first-order terms with names (as opposed to alphaequivalence classes) and that no new names need to be generated during unification, which set it cl...

Among the different processes that entail unification-based grammar parsing, the unification of feature structures is by far the most expensive one in terms of execution time. Unification of the feature structures of a given sentence typically takes between 85 and 98 per cent of the total elapsed time during parsing, thus the need to develop faster unification methods. The approach presented in...

Both Sequence and Context Unification generalize the same problem: Word Unification. Besides that, Sequence Unification solves equations between unranked terms involving sequence variables, and seems to be appealing for information extraction in XML documents, program transformation, knowledge representation, and rule-based programming. It is decidable. Context Unification deals with the same p...

Classical unification is strict in the sense that it requires a perfect agreement between the terms being unified. In practice, data is seldom error-free and can contain inconsistent information. Classical unification fails when the data is imperfect. Fuzzy unification partially addresses uncertainty but requires the creation of fuzzy databases. We propose the Theory of Relaxed Unification as a...

Both Sequence and Context Unification generalize the same problem: Word Unification. Besides that, Sequence Unification solves equations between unranked terms involving sequence variables, and seems to be appealing for information extraction in XML documents, program transformation, knowledge representation, and rule-based programming. It is decidable. Context Unification deals with the same p...

Aljazeera is well known as an Arab television and media network that has its headquarters in Qatar. For the U.S. Aljazeera is a ‘terrorist network’. For Islamic communities it is now seen, ironically, as ‘U.S. controlled’. Islamic audiences in Australia use Aljazeera and CNN media but those audiences also use emerging community media in Arab countries as an antidote to both Western and Arab pre...

In this paper, a proposed system for classify Islamic geometric patterns with emphasis on representation and recognition stages is introduced. Finding a unique feature for classify IGPs is a hard work that hasn’t been done since today because of the diversity of their different structure. To implement this technique, we use shape based classification. Geometric central moments have been utilize...

This study examines the relationship between service quality and customer satisfaction regarding Islamic banks as well as conventional banks in Pakistan. It also investigated how service quality affects customer satisfaction by assessing the magnitude of the relationship between selected variables. This study is important due to an emerging trend of Islamic banking practices in Pakistan in the ...

Over the past two decades, tens of thousands of migrant domestic workers in Kuwait have developed new-found ‘Islamic piety’. Occurring in a much maligned and understudied region*the Arabian Peninsula*this widespread phenomenon has either been elided, cynically dismissed or the motivations for these conversions and their sociohistorical conditions of possibility assumed. Domestic workers’ own ar...

The impact of foreign banks entry on the banking sector has been well documented in the literature. However, these studies have been confined to the conventional banking sector. On the other hand, virtually nothing has been published in respect to the impact of foreign banks entry on the Islamic banking sector. The purpose of the present paper is to provide new empirical evidence on the impact ...