Mohamed El Bachir Menai

Orcid: 0000-0001-5981-6299

Affiliations:
  • King Saud University, Riyadh, Saudi Arabia


According to our database1, Mohamed El Bachir Menai authored at least 54 papers between 2002 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Exploring Evaluation Methods for Interpretable Machine Learning: A Survey.
Inf., 2023

Intrinsically Interpretable Gaussian Mixture Model.
Inf., 2023

On the Structure of the Boolean Satisfiability Problem: A Survey.
ACM Comput. Surv., 2023

A Critical Analysis of Benchmarks, Techniques, and Models in Medical Visual Question Answering.
IEEE Access, 2023

2022
Automatic summarization of scientific articles: A survey.
J. King Saud Univ. Comput. Inf. Sci., 2022

Boosting the Performance of CDCL-Based SAT Solvers by Exploiting Backbones and Backdoors.
Algorithms, 2022

2021
Stochastic local search for Partial Max-SAT: an experimental evaluation.
Artif. Intell. Rev., 2021

A Stochastic Local Search Algorithm for the Partial Max-SAT Problem Based on Adaptive Tuning and Variable Depth Neighborhood Search.
IEEE Access, 2021

2020
Automatic plagiarism detection in obfuscated text.
Pattern Anal. Appl., 2020

A survey of state-of-the-art approaches for emotion recognition in text.
Knowl. Inf. Syst., 2020

Evaluation of State-of-the-Art Paraphrase Identification and Its Application to Automatic Plagiarism Detection.
Int. J. Pattern Recognit. Artif. Intell., 2020

SVM ensembles for named entity disambiguation.
Computing, 2020

CAST: A Cross-Article Structure Theory for Multi-Article Summarization.
IEEE Access, 2020

Hybrid Feature Model for Emotion Recognition in Arabic Text.
IEEE Access, 2020

2019
ArPC a corpus for paraphrase identification in Arabic text.
Dataset, December, 2019

KSU at SemEval-2019 Task 3: Hybrid Features for Emotion Recognition in Textual Conversation.
Proceedings of the 13th International Workshop on Semantic Evaluation, 2019

2018
Swarm intelligence to solve the curriculum sequencing problem.
Comput. Appl. Eng. Educ., 2018

Solving Multi-Document Summarization as an Orienteering Problem.
Algorithms, 2018

Ant Colony System for Multi-Document Summarization.
Proceedings of the 27th International Conference on Computational Linguistics, 2018

Semantic Graph Based Automatic Summarization of Multiple Related Work Sections of Scientific Articles.
Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2018

2017
A hybrid genetic-ant colony optimization algorithm for the word sense disambiguation problem.
Inf. Sci., 2017

2016
Impact of preprocessing on medical data classification.
Frontiers Comput. Sci., 2016

Solving the student grouping problem in e-learning systems using swarm intelligence metaheuristics.
Comput. Appl. Eng. Educ., 2016

Automatic Arabic text summarization: a survey.
Artif. Intell. Rev., 2016

A Novel Genetic Algorithm for the Word Sense Disambiguation Problem.
Proceedings of the Advances in Artificial Intelligence, 2016

2015
Random forests for automatic differential diagnosis of erythemato-squamous diseases.
Int. J. Medical Eng. Informatics, 2015

Swarm intelligence for natural language processing.
Int. J. Artif. Intell. Soft Comput., 2015

Graph-Based Multi-Document Summarization: An Initial Investigation.
Proceedings of the Research and Development in Intelligent Systems XXXII, 2015

A Self-adaptive Genetic Algorithm for the Word Sense Disambiguation Problem.
Proceedings of the Current Approaches in Applied Artificial Intelligence, 2015

2014
Naïve Bayes classifiers for authorship attribution of Arabic texts.
J. King Saud Univ. Comput. Inf. Sci., 2014

Word Sense Disambiguation Using an Evolutionary Approach.
Informatica (Slovenia), 2014

Cryptanalysis of classical ciphers with ant algorithms.
Int. J. Metaheuristics, 2014

A new hybrid metaheuristic for medical data classification.
Int. J. Metaheuristics, 2014

Word sense disambiguation using evolutionary algorithms - Application to Arabic language.
Comput. Hum. Behav., 2014

HColonies: a new hybrid metaheuristic for medical data classification.
Appl. Intell., 2014

Differential Diagnosis of Erythemato-Squamous Diseases Using Ensemble of Decision Trees.
Proceedings of the Modern Advances in Applied Intelligence, 2014

2013
Hybrid Metaheuristics for Medical Data Classification.
Proceedings of the Hybrid Metaheuristics, 2013

A Taxonomy of Exact Methods for Partial Max-SAT.
J. Comput. Sci. Technol., 2013

Influence of CNF Encodings of AtMost-1 Constraints on UNSAT-based PMSAT Solvers.
Informatica (Slovenia), 2013

Artificial bee colony for the standard cell placement problem.
Int. J. Metaheuristics, 2013

A Swarm Random Walk Algorithm for Global Continuous Optimization.
Proceedings of the Genetic and Evolutionary Computing, 2013

2012
Data Structures in Multi-Objective Evolutionary Algorithms.
J. Comput. Sci. Technol., 2012

Genetic Algorithm for Arabic Word Sense Disambiguation.
Proceedings of the 13th ACIS International Conference on Software Engineering, 2012

2011
Evolutionary computation approaches to the Curriculum Sequencing problem.
Nat. Comput., 2011

2009
A Logic-Based Approach to Solve the Steiner Tree Problem.
Proceedings of the Artificial Intelligence Applications and Innovations III, 2009

2006
An effective heuristic algorithm for the maximum satisfiability problem.
Appl. Intell., 2006

2005
Solving the Maximum Satisfiability Problem Using an Evolutionary Local Search Algorithm.
Int. Arab J. Inf. Technol., 2005

A Two-Phase Backbone-Based Search Heuristic for Partial MAX-SAT - An Initial Investigation.
Proceedings of the Innovations in Applied Artificial Intelligence, 2005

A Backbone-Based Co-evolutionary Heuristic for Partial MAX-SAT.
Proceedings of the Artificial Evolution, 2005

2004
Solution Reuse in Partial MAX-SAT Problem.
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

An Evolutionary Local Search Method for Incremental Satisfiability.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2003
Efficient Initial Solution to Extremal Optimization Algorithm for Weighted MAXSAT Problem.
Proceedings of the Developments in Applied Artificial Intelligence, 2003

A Bose-Einstein Extremal Optimization Method for Solving Real-World Instances of Maximum Satisfiablility.
Proceedings of the International Conference on Artificial Intelligence, 2003

2002
'External Optimization' for Max-SAT.
Proceedings of the International Conference on Artificial Intelligence, 2002


  Loading...