Browsing by Author "Elloumi, Samir"
Now showing items 1-10 of 10
-
A New Structural View Of The Holy Book Based On Specific Words: Towards Unique Chapters (surat) And Sentences (ayat) Characterization In The Quran
Al-saffar, Meshaal; Mohamed Jaoua, Ali; Hassaine, Abdelaali; Elloumi, Samir ( Hamad bin Khalifa University Press (HBKU Press) , 2014 , Conference Paper)In the context of web Islamic data analysis and authentication an important task is to be able to authenticate the holy book if published in the net. For that purpose, in order to detect texts contained in the holy book, ... -
A novel approach for handedness detection from off-line handwriting using fuzzy conceptual reduction
Al-Maadeed, Somaya; Ferjani, Fethi; Elloumi, Samir; Jaoua, Ali ( Springer International Publishing , 2016 , Article)A challenging area of pattern recognition is the recognition of handwritten texts in different languages and the reduction of a volume of data to the greatest extent while preserving associations (or dependencies) between ... -
An Integrated Framework For Verified And Fault Tolerant Software
Elloumi, Samir; Tounsi, Ishraf; Boulifa, Bilel; Kakil, Sharmeen; Jaoua, Ali; Saleh, Mohammad... more authors ... less authors ( Hamad bin Khalifa University Press (HBKU Press) , 2014 , Conference Paper)Fault tolerance techniques should let the program continue servicing in spite of the presence of errors. They are of primary importance mainly in case of mission-critical systems. Their eventual failure may produce important ... -
ConProve: A conceptual prover system
Elloumi, Samir; Jaoua, Ali; Boulifa, Bilel; Saleh, Mohammad; Al Otaibi, Jameela ( IEEE , 2014 , Conference Paper)ConProve is an automated prover for propositional logic. It takes, as an input, a set of propositional formulas and proves whether a goal holds or not. ConProve converts each formula to its corresponding Truth Table Binary ... -
Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage
Jaoua, Ali; Duwairi, Rehab; Elloumi, Samir; Yahia, Sadok Ben ( Springer Berlin / Heidelberg , 2009 , Conference Paper)Association rules extraction from a binary relation as well as reasoning and information retrieval are generally based on the initial representation of the binary relation as an adjacency matrix. This presents some ... -
Inconsistencies Detection In Islamic Texts Of Law Interpretations ["fatawas"]
Al-otaibi, Jameela; Elloumi, Samir; Hassaine, Abdelaali; Jaoua, Ali Mohamed ( Hamad bin Khalifa University Press (HBKU Press) , 2014 , Conference Paper)Islamic web content offers a very convenient way for people to learn more about Islam religion and the correct practices. For instance, via these web sites they could ask for fatwas (Islamic advisory opinion) with more ... -
Inference engine based on closure and join operators over Truth Table Binary Relations
Elloumi, Samir; Boulifa, Bilel; Jaoua, Ali; Saleh, Mohammad; Al Otaibi, Jameela; Frias, Marcelo F.... more authors ... less authors ( Elsevier Inc. , 2014 , Article)Abstract We propose a conceptual reasoning method for an inference engine. Starting from a knowledge base made of decision rules, we first map each rule to its corresponding Truth Table Binary Relation (TTBR), considered ... -
A multi-level conceptual data reduction approach based on the Lukasiewicz implication
Elloumi, Samir; Jaam, Jihad; Hasnah, Ahmad; Jaoua, Ali; Nafkha, Ibtissem ( Elsevier Science Inc , 2003 , Article)Starting from fuzzy binary data represented as tables in the fuzzy relational database, in this paper, we use fuzzy formal concept analysis to reduce the tables size to only keep the minimal rows in each table, without ... -
Using conceptual reasoning for inconsistencies detection in islamic advisory opinion (Fatwas)
Al Otaibi, Jameela; Elloumi, Samir; Jaoua, Ali; Hassaine, Abdelali ( IEEE Computer Society , 2016 , Conference Paper)The Islamic websites play an important role in disseminating Islamic knowledge and information about Islamic ruling. Their number and the content they provide is continuously increasing which require in-depth investigations ... -
Using Mandatory Concepts for Knowledge Discovery and Data Structuring
Elloumi, Samir; Ben Yahia, Sadok; Al Ja'am, Jihad ( Springer , 2019 , Conference Paper)A data scientist could apply several machine learning approaches in order to discover valuable knowledge from the data. While applying several techniques, he might discover that some pieces of knowledge are invariant, what ...