Browsing by Author "Saleh, Mohammad"

Now showing items 1-5 of 5

    • An Integrated Framework For Verified And Fault Tolerant Software 

      Elloumi, Samir; Tounsi, Ishraf; Boulifa, Bilel; Kakil, Sharmeen; Jaoua, Ali; ... more 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 ...

    • Ensemble Classifier for Epileptic Seizure Detection for Imperfect EEG Data 

      Abualsaud, Khalid; Mahmuddin, Massudi; Saleh, Mohammad; Mohamed, Amr ( Hindawi , 2015 , Article)
      Brain status information is captured by physiological electroencephalogram (EEG) signals, which are extensively used to study different brain activities.This study investigates the use of a new ensemble classifier to ...

    • Inference engine based on closure and join operators over Truth Table Binary Relations 

      Elloumi, Samir; Boulifa, Bilel; Jaoua, Ali; Saleh, Mohammad; Al Otaibi, Jameela; ... more 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 ...

    • Modeling Family Behaviors in Crowd Simulation 

      Eliyan, Lubna Fayez (2017 , Master Thesis)
      Modeling human behavior for a general situation is difficult, if not impossible. Crowd simulation represents one of the approaches most commonly used to model such behavior. It is mainly concerned with modeling the different ...