Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Damiano Verda

dblp:45/10408 · DBLP profile ↗
← Back
6ranked-venue papers
1as first author
4since 2021 · last 2026
0000-0001-9912-3454ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 4 · 3 since 2021Graphics, computer vision, multimedia, augmented reality and games · 2 · 2 since 2021Applied, interdisciplinary, general and emerging computing · 2 · 1 first-author · 1 since 2021Systems, architecture and hardware · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
2 papers
Trustworthy machine learning · 100%
Computer networks
1 paper
Wireless sensing and localization · 100%

Topics — the 5 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Machine learning › Trustworthy machine learning
interpretability
1.822026
ShapBPT: Image Feature Attributions Using Data-Aware Binary Partition Trees · AAAI 2026
Using Stratified Sampling to Improve LIME Image Explanations · AAAI 2024
Machine learning › Trustworthy machine learning › interpretability
shapley value
1.822026
ShapBPT: Image Feature Attributions Using Data-Aware Binary Partition Trees · AAAI 2026
Using Stratified Sampling to Improve LIME Image Explanations · AAAI 2024
Machine learning › Trustworthy machine learning › interpretability › attribution methods
image attribution
1.012026
ShapBPT: Image Feature Attributions Using Data-Aware Binary Partition Trees · AAAI 2026
Wireless sensing and localization › tracking
position tracking
0.212014
Micro air vehicle localization and position tracking from textured 3D cadastral models · ICRA 2014
Wireless sensing and localization › optical sensing › optical localization
visual localization
0.212014
Micro air vehicle localization and position tracking from textured 3D cadastral models · ICRA 2014

Methods — techniques the papers use, named apart from their topics

hierarchical shapley · 1.0binary partition tree · 1.0stratified sampling · 0.8monte carlo sampling · 0.8visual odometry · 0.2image matching · 0.2back-projection · 0.2
YearPublicationVenuePosition
2026 ShapBPT: Image Feature Attributions Using Data-Aware Binary Partition Trees
abstract
Pixel-level feature attributions are an important tool in eXplainable AI for Computer Vision (XCV), providing visual insights into how image features influence model predictions. The Owen formula for hierarchical Shapley values has been widely used to interpret machine learning (ML) models and their learned representations. However, existing hierarchical Shapley approaches do not exploit the multiscale structure of image data, leading to slow convergence and weak alignment with the actual morphological features. Moreover, no prior Shapley method has leveraged data-aware hierarchies for Computer Vision tasks, leaving a gap in model interpretability of structured visual data. To address this, this paper introduces ShapBPT, a novel data-aware XCV method based on the hierarchical Shapley formula. ShapBPT assigns Shapley coefficients to a multiscale hierarchical structure tailored for images, the Binary Partition Tree (BPT). By using this data-aware hierarchical partitioning, ShapBPT ensures that feature attributions align with intrinsic image morphology, effectively prioritizing relevant regions while reducing computational overhead. This advancement connects hierarchical Shapley methods with image data, providing a more efficient and semantically meaningful approach to visual interpretability. Experimental results confirm ShapBPT’s effectiveness, demonstrating superior alignment with image structures and improved efficiency over existing XCV methods, and a 20-subject user study confirming that ShapBPT explanations are preferred by humans.
Muhammad Rashid 0002, Elvio Gilberto Amparore, Enrico Ferrari, Damiano Verda
AAAI4
2025 Explainable evaluation of generative adversarial networks for wearables data augmentation
abstract
Data augmentation represents an opportunity for Artificial Intelligence (AI) applications, as it aims at creating new synthetic data based on an existing baseline. In this paper, we present a new evaluation framework for Generative Adversarial Networks (GANs), a data augmentation technique, in multivariate data classification contexts. The goal is not limited to assessing the performance variations obtained through GANs, but also to inspect results with explainable AI (XAI) tools, understanding how GANs work and, finally, exploiting them to discover new knowledge. To this aim, we adopt the Logic Learning Machine (LLM) for performance assessment and rule extraction, and introduce a new measure of rule similarity to compare different artificial datasets. We apply the methodology on two case studies , activity recognition and physical fatigue detection, confirming that GANs can help in overcoming limitations of original datasets and lead to new discoveries.
Sara Narteni, Vanessa Orani, Enrico Ferrari, Damiano Verda, Enrico Cambiaso, Maurizio Mongelli
Eng. Appl. Artif. Intell.4
2024 Using Stratified Sampling to Improve LIME Image Explanations
abstract
We investigate the use of a stratified sampling approach for LIME Image, a popular model-agnostic explainable AI method for computer vision tasks, in order to reduce the artifacts generated by typical Monte Carlo sampling. Such artifacts are due to the undersampling of the dependent variable in the synthetic neighborhood around the image being explained, which may result in inadequate explanations due to the impossibility of fitting a linear regressor on the sampled data. We then highlight a connection with the Shapley theory, where similar arguments about undersampling and sample relevance were suggested in the past. We derive all the formulas and adjustment factors required for an unbiased stratified sampling estimator. Experiments show the efficacy of the proposed approach.
Muhammad Rashid 0002, Elvio Gilberto Amparore, Enrico Ferrari, Damiano Verda
AAAI4
2022 A New XAI-based Evaluation of Generative Adversarial Networks for IMU Data Augmentation
abstract
Data augmentation is a widespread innovative technique in Artificial Intelligence: it aims at creating new synthetic data given an existing real baseline, thus allowing to overcome the issues arising from the lack of labelled data for proper training of classification algorithms. Our paper focuses on how a common data augmentation methodology, the Generative Adversarial Networks (GANs), which is widespread for images and timeseries data, can be also applied to generate multivariate data. We propose a novel scheme for GANs evaluation, based on the performance of an explainable AI (XAI) algorithm and an innovative definition of rule similarity. In particular, we will consider an application dealing with the augmentation of Inertial Movement Units (IMU) data for physical fatigue monitoring in two age subgroups (under and over 40 years old) of the original data. We will show how our innovative rule similarity metric can drive the selection of the best fake dataset among a set of different candidates, corresponding to different GAN training runs.
Sara Narteni, Vanessa Orani, Enrico Ferrari, Damiano Verda, Enrico Cambiaso, Maurizio Mongelli
HealthCom4
2019 Analyzing gene expression data for pediatric and adult cancer diagnosis using logic learning machine and standard supervised methods
abstract
BACKGROUND: Logic Learning Machine (LLM) is an innovative method of supervised analysis capable of constructing models based on simple and intelligible rules. In this investigation the performance of LLM in classifying patients with cancer was evaluated using a set of eight publicly available gene expression databases for cancer diagnosis. LLM accuracy was assessed by summary ROC curve (sROC) analysis and estimated by the area under an sROC curve (sAUC). Its performance was compared in cross validation with that of standard supervised methods, namely: decision tree, artificial neural network, support vector machine (SVM) and k-nearest neighbor classifier. RESULTS: LLM showed an excellent accuracy (sAUC = 0.99, 95%CI: 0.98-1.0) and outperformed any other method except SVM. CONCLUSIONS: LLM is a new powerful tool for the analysis of gene expression data for cancer diagnosis. Simple rules generated by LLM could contribute to a better understanding of cancer biology, potentially addressing therapeutic approaches.
Damiano Verda, Stefano Parodi, Enrico Ferrari, Marco Muselli
BMC Bioinform.1
2014 Micro air vehicle localization and position tracking from textured 3D cadastral models
abstract
In this paper, we address the problem of localizing a camera-equipped Micro Aerial Vehicle (MAV) flying in urban streets at low altitudes. An appearance-based global positioning system to localize MAVs with respect to the surrounding buildings is introduced. We rely on an air-ground image matching algorithm to search the airborne image of the MAV within a ground-level Street View image database and to detect image matching points. Based on the image matching points, we infer the global position of the MAV by back-projecting the corresponding image points onto a cadastral 3D city model. Furthermore, we describe an algorithm to track the position of the flying vehicle over several frames and to correct the accumulated drift of the visual odometry, whenever a good match is detected between the airborne MAV and the street-level images. The proposed approach is tested on a dataset captured with a small quadroctopter flying in the streets of Zurich.
Andras Majdik, Damiano Verda, Yves Albers-Schoenberg, Davide Scaramuzza 0001
ICRA2