Ali Salem

12 papers B 2C 2Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Deep learning and computer vision in plant disease detection: a comprehensive review of techniques, models, and trends in precision agriculture.
Artif. Intell. Rev.
Abhishek Upadhyay, Narendra Singh Chandel, Krishna Pratap Singh, Subir Kumar Chakraborty, Balaji Murhari Nandede, Mohit Kumar, A Subeesh, Konga Upendar, Ali Salem, Ahmed Elbeltagi
2025 J jnl
Photograph-based machine learning approach for automated detection and differentiation of aerial blight disease in soybean crops.
J. Big Data
Mukta Nainwal, Anurag Satpathi, Saqib Shamsi, Ali Salem, Ajeet Singh Nain, Dinesh Kumar Vishwakarma, Ahmed Elbeltagi, Salah El-Hendawy, Mohamed A. Mattar
2025 J jnl
Trade-off between cost and performance of earth observation data in olive trees health assessment: Digital crop mapping approach using machine learning algorithms.
Int. J. Appl. Earth Obs. Geoinformation
Yassine Bouslihim, Abdelkrim Bouasria, Aicha Rochdi, El Bachir El Haissen, Dénes Lóczy, Zoltan Orban, Ali Salem
2024 C conf
AUTOVI: Empowering Effective Tracing and Visualizations with AI.
IV
Farida AbouWard, Ali Salem, Nada Sharaf
2024 J jnl
Machine Learning Models for Early Prediction of COVID-19 Infections Based on Clinical Signs.
SN Comput. Sci.
Boulbaba Ben Ammar, Ali Salem, Mouna Ben Said, Mohamed Ben Aouicha
2022 J jnl
Spatial-Temporal Water Balance Components Estimation Using Integrated GIS-Based Wetspass-M Model in Moulouya Basin, Morocco.
ISPRS Int. J. Geo Inf.
Mustapha Amiri, Ali Salem, Mohamed Ghzal
2016 C conf
Data warehousing design: Automatic verification of conformity and summarizability constraints.
AICCSA
Ali Salem, Hanêne Ben-Abdallah
2015 J jnl
The design of valid multidimensional star schemas assisted by repair solutions.
Vietnam. J. Comput. Sci.
Ali Salem, Hanêne Ben-Abdallah
2012 B conf
Verification of Security Coherence in Data Warehouse Designs.
TrustBus
Ali Salem, Salah Triki, Hanêne Ben-Abdallah, Nouria Harbi, Omar Boussaid
2011 B conf
Formal validation of the security properties of AMT's three-way handshake.
LCN
Ali Salem, J. William Atwood
2010 — conf
Validation formelle de schéma multidimensionnel vis à vis de sa source.
EDA
Ali Salem, Faiza Ghozzi Jedidi, Hanêne Ben-Abdallah
2008 — conf
Multi-Dimensional Modeling - Formal Specification and Verification of the Hierarchy Concept.
ICEIS (1)
Ali Salem, Faiza Ghozzi, Hanêne Ben-Abdallah