Ali Jaoua

Orcid: 0000-0001-6578-8191

According to our database1, Ali Jaoua authored at least 95 papers between 1987 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Reducing a 3-SAT Instance to a Set of 2-SAT Instances Using the Idea of Set Covering Problem.
Proceedings of the International Conference on Computer and Applications, 2023

2022
Correction to: Can search result summaries enhance the web search efficiency and experiences of the visually impaired users?
Univers. Access Inf. Soc., 2022

Can search result summaries enhance the web search efficiency and experiences of the visually impaired users?
Univers. Access Inf. Soc., 2022

2021
Comparative Study of Extractive Text Summarization Techniques.
Proceedings of the 18th IEEE/ACS International Conference on Computer Systems and Applications, 2021

2020
Anomalies Detection in Software by Conceptual Learning From Normal Executions.
IEEE Access, 2020

A novel Conceptual Machine Learning Method using Random Conceptual Decomposition.
Proceedings of the IEEE International Conference on Informatics, 2020

A Goal-Oriented Fault Tolerance Software Enhanced by Critical Information Code Protection.
Proceedings of the 17th IEEE/ACS International Conference on Computer Systems and Applications, 2020

2019
Edge-based compression and classification for smart healthcare systems: Concept, implementation and evaluation.
Expert Syst. Appl., 2019

Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT.
CoRR, 2019

2018
Analyze Unstructured Data Patterns for Conceptual Representation.
CoRR, 2018

QR2: A Third-Party Query Reranking Service over Web Databases.
Proceedings of the 34th IEEE International Conference on Data Engineering, 2018

Unsupervised Technique for Anomaly Detection in Qatar Stock Market.
Proceedings of the 2018 International Conference on Computer and Applications (ICCA), 2018

Conceptual Interactive Search Engine Interface for Visually Impaired Web Users.
Proceedings of the 15th IEEE/ACS International Conference on Computer Systems and Applications, 2018

2017
What is a fault? and why does it matter?
Innov. Syst. Softw. Eng., 2017

Conceptual data sampling for breast cancer histology image classification.
Comput. Biol. Medicine, 2017

Machine Learning and Conceptual Reasoning for Inconsistency Detection.
IEEE Access, 2017

HDBExpDetector: Aggregate Sudden-Change Detector over Dynamic Web Databases.
Proceedings of the 33rd IEEE International Conference on Data Engineering, 2017

Optimized Processing of a Batch of Aggregate Queries over Hidden Databases.
Proceedings of the International Conference on Computer and Applications, 2017

MobiFace: A Mobile Application for Faceted Search over Hidden Web Databases.
Proceedings of the International Conference on Computer and Applications, 2017

Individual Query Cardinality Estimation using Multiple Query Combinations on a Search Engine's Corpus.
Proceedings of the International Conference on Computer and Applications, 2017

Text Categorization Using Weighted Hyper Rectangular Keyword Extraction.
Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017

2016
Using minimal generators for composite isolated point extraction and conceptual binary relation coverage: Application for extracting relevant textual features.
Inf. Sci., 2016

A novel approach for handedness detection from off-line handwriting using fuzzy conceptual reduction.
EURASIP J. Image Video Process., 2016

In-Network Data Reduction Approach Based on Smart Sensing.
Proceedings of the 2016 IEEE Global Communications Conference, 2016

Uncertain training data set conceptual reduction: A machine learning perspective.
Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

Authenticity detection as a binary text categorization problem: Application to Hadith authentication.
Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

Mobile app conceptual browser: Online marketplaces information extraction.
Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

2015
Using conceptual reasoning for inconsistencies detection in Islamic advisory opinion (Fatwas).
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

Text Categorization Using Hyper Rectangular Keyword Extraction: Application to News Articles Classification.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

Relational Mathematics for Relative Correctness.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014
HDBTracker: Monitoring the Aggregates On Dynamic Hidden Web Databases.
Proc. VLDB Endow., 2014

Inference engine based on closure and join operators over Truth Table Binary Relations.
J. Log. Algebraic Methods Program., 2014

Semantic metrics for software products.
Innov. Syst. Softw. Eng., 2014

Hyper rectangular trend analysis application to Islamic rulings (fatwas).
Proceedings of the 11th IEEE/ACS International Conference on Computer Systems and Applications, 2014

ConProve: A conceptual prover system.
Proceedings of the 11th IEEE/ACS International Conference on Computer Systems and Applications, 2014

On Faults and Faulty Programs.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013
General learning approach for event extraction: Case of management change event.
J. Inf. Sci., 2013

Parallel Bounded Verification of Alloy Models by TranScoping.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

ICDAR 2013 Competition on Gender Prediction from Handwriting.
Proceedings of the 12th International Conference on Document Analysis and Recognition, 2013

2012
Formal context coverage based on isolated labels: An efficient solution for text feature extraction.
Inf. Sci., 2012

Understanding Simple Stories through Concepts Extraction and Multimedia Elements.
Proceedings of the Networked Digital Technologies - 4th International Conference, 2012

Incremental Pseudo Rectangular Organization of Information Relative to a Domain.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011
Relations and Kleene algebras in computer science.
J. Log. Algebraic Methods Program., 2011

An Assistive Computerized System with Tangible User Interfaces for Children with Moderate Intellectual and Learning Disabilities.
Int. J. Emerg. Technol. Learn., 2011

An Arabic-Based Tutorial System for Children with Special Needs.
Proceedings of the Signal Processing and Information Technology, 2011

A Comparative Study of a New Associative Classification Approach for Mining Rare and Frequent Classification Rules.
Proceedings of the Information Security and Assurance - International Conference, 2011

The ICDAR2011 Arabic Writer Identification Contest.
Proceedings of the 2011 International Conference on Document Analysis and Recognition, 2011

2010
Using a cross-language information retrieval approach to improve Computer-Aided Translation performance.
Proceedings of the 10th International Conference on Intelligent Systems Design and Applications, 2010

Financial events detection by conceptual news categorization.
Proceedings of the 10th International Conference on Intelligent Systems Design and Applications, 2010

2009
A Tutorial-Based System for Children with Intellectual Disability.
Proceedings of the ICTA 2009, 2009

An Assistive Computerized System for Children with Intellectual and Learning Disabilities.
Proceedings of the Ambient Assistive Health and Wellness Management in the Heart of the City, 2009

Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2006
Text Summarization Based on Conceptual Data Classification.
Int. J. Inf. Technol. Web Eng., 2006

Cooperative Conceptual Retrieval for Heterogeneous Information.
Proceedings of the First IEEE International Conference on Digital Information Management (ICDIM), 2006

2005
Using Formal Concept Analysis for Heterogeneous Information Retrieval.
Proceedings of the CLA 2005 International Workshop on Concept Lattices and their Applications Olomouc, 2005

2004
A multi-level conceptual data reduction approach based on the Lukasiewicz implication.
Inf. Sci., 2004

Using Concept Formal Analysis for Cooperative Information Retrieval.
Proceedings of the CLA 2004 International Workshop on Concept Lattices and their Applications, 2004

2003
Apprentissage des seuil dans le classifieur flou par localisation de concepts.
Proceedings of the Actes du XXIème Congrès INFORSID, Nancy, France, 24-27 mai, 2003, 2003

Découverte des règles associatives non redondantes - Application aux corpus textuels.
Proceedings of the Extraction et gestion des connaissances (EGC'2003), 2003

2002
Galois connection, formal concepts and Galois lattice in real relations: application in a real classifier.
J. Syst. Softw., 2002

Software Engineering: Systems and Tools - Preface.
Inf. Sci., 2002

Classes extraction from procedural programs.
Inf. Sci., 2002

Textmining: extension de la connexion de Galois floue.
Proceedings of the Extraction et gestion des connaissances (EGC'2002), 2002

2001
Une méthode de classification de données binaires basée sur la décomposition rectangulaire.
Monde des Util. Anal. Données, 2001

Relational methods in computer science - Preface.
Inf. Sci., 2001

2000
Using difunctional relations in information organization.
Inf. Sci., 2000

Completing Missing Values Using Discovered Formal Concepts.
Proceedings of the Database and Expert Systems Applications, 11th International Conference, 2000

Galois Connection in Fuzzy Binary Relations, Applications for Discovering Association Rules and Decision Making.
Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000

1999
An Extension of Classical Functional Dependency: Dynamic Fuzzy Functional Dependency.
Inf. Sci., 1999

Relational Methods in Computer Science.
Inf. Sci., 1999

BRRA: A Based Relevant Rectangles Algorithm for Mining Relationships in Databases.
Proceedings of the Methodologies for Knowledge Discovery and Data Mining, 1999

Non-supervised Rectangular Classification of Binary Data.
Proceedings of the Multiple Approaches to Intelligent Systems, 1999

Visualizing Algorithms for the Design and Analysis of Survivable Networks.
Proceedings of the Graph Drawing, 7th International Symposium, 1999

1998
An Incrementa Learning System for Imprecise and Uncertain Knowledge Discovery.
Inf. Sci., 1998

Abstraction of Objects by Conceptual Clustering.
Inf. Sci., 1998

Planar Drawing Algorithms of Survivable Telecommunication Networks.
Proceedings of the Discrete and Computational Geometry, Japanese Conference, 1998

Rectangular Decomposition of Signature File: Design Issues and Performance Evaluation.
Proceedings of the Database and Expert Systems Applications, 9th International Conference, 1998

May reasoning be reduced to an information retrieval problem?
Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997
Rectangular Decomposition Heuristics for Documentary Databases.
Inf. Sci., 1997

Automatic Architectural Abstraction.
Inf. Sci., 1997

Dynamic fuzzy functional dependency.
Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

Fuzzy Difunctional Dependencles.
Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

Using Difunctional Relation for Information Organization.
Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

Databases.
Proceedings of the Relational Methods in Computer Science., 1997

1996
On Fuzzy Difunctional Relations.
Inf. Sci., 1996

Incremental Rule Production: Towards a Uniform Approach for Knowledge Organization.
Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1996

1995
Embedding a Demonic Semilattice in a Relational Algebra.
Theor. Comput. Sci., 1995

Automatic Entity Extraction From an N-Ary Relation: Toward a General Law for Information Decomposition.
Inf. Sci., 1995

Signature Extraction Method in Rectangular Database.
Inf. Sci., 1995

Minimal program covering based on the output variables.
Proceedings of the Proceedings IEEE Symposium on Computers and Communications, 1995

1993
A Relation Division Operator: The Conjugate Kernel.
Theor. Comput. Sci., 1993

1991
Regularity of Relations: A Measure of Uniformity.
Theor. Comput. Sci., 1991

1990
The use of executable assertions for error detection and damage assessment.
J. Syst. Softw., 1990

1987
Teaching first year programming: a proposal.
ACM SIGCSE Bull., 1987

On the use of executable assertions in structured programs.
J. Syst. Softw., 1987


  Loading...