3 result(s)
Page Size: 10, 20, 50
Export: bibtex, xml, json, csv
Order by:

CNR Author operator: and / or
Typology operator: and / or
Language operator: and / or
Date operator: and / or
Rights operator: and / or
2021 Conference article Open Access OPEN

Feasibility of Spatial Model Checking for Nevus Segmentation
Belmonte G., Broccia G., Ciancia V., Latella D., Massink M.
Recently developed spatial and spatio-temporal model checking techniques have a wide range of application domains, among which large scale distributed systems as well as signal and image analysis. In the latter domain, automatic and semi-automatic contouring in Medical Imaging has shown to be a very promising and versatile application that may facilitate the work of professionals in this domain, while supporting explainability, easy replicability and exchange of medical image analysis methods. In recent work, spatial model-checking has been applied to the 3D contouring of brain tumours and related oedema in magnetic resonance images of the brain. In the present paper we address the contouring of 2D images of nevi. One of the challenges of contouring nevi is that they show considerable inhomogeneity in shape, colour, texture and size. In addition these images often include also extraneous elements such as hairs, patches and rulers. To deal with this challenge we explore the use of a texture similarity operator in combination with spatial logic operators. We investigate the feasibility of our technique on images of a large public database. We compare the results with associated ground truth segmentation provided by domain experts; the results are very promising, both from the quality and from the performance point of view.Source: FormaliSE: International Conference on Formal Methods in Software Engineering, pp. 1–12, 18-21/05/2021
DOI: 10.1109/formalise52586.2021.00007

See at: ISTI Repository Open Access | CNR ExploRA Restricted | www.computer.org Restricted


2020 Journal article Open Access OPEN

Flexible automatic support for web accessibility validation
Broccia G., Manca M., Paternò F., Pulina F.
Automatic support for web accessibility validation needs to evolve for several reasons The increasingly recognised importance of accessibility implies that various stakeholders, with different expertise, look at it from different viewpoints and have different requirements regarding the types of outputs they expect. The technologies used to support Web application access are evolving along with the associated accessibility guidelines. We present a novel tool that aims to provide flexible and open support for addressing such issues. We describe the design of its main features including support for recent guidelines and tailored results presentations, and report on first technical and empirical validation s that have provided positive feedbackSource: Proceedings of the ACM on human-computer interaction 4 (2020). doi:10.1145/3397871
DOI: 10.1145/3397871

See at: ISTI Repository Open Access | Proceedings of the ACM on Human-Computer Interaction Restricted | Proceedings of the ACM on Human-Computer Interaction Restricted | Proceedings of the ACM on Human-Computer Interaction Restricted | Proceedings of the ACM on Human-Computer Interaction Restricted | CNR ExploRA Restricted


2020 Report Open Access OPEN

Using Spatial Logic and Model Checking for Nevus Segmentation
Belmonte G., Broccia G., Ciancia V., Latella D., Massink M.
Spatial and spatio-temporal model checking techniques have a wide range of application domains, among which large scale distributed systems and signal and image analysis. In the latter domain, automatic and semi-automatic contouring in Medical Imaging has shown to be a very promising and versatile application that can greatly facilitate the work of professionals in this domain, while supporting explainability, easy replicability and exchange of medical image analysis methods. In recent work we have applied this model-checking technique to the (3D) contouring of tumours and related oedema in magnetic resonance images of the brain. In the current work we address the contouring of (2D) images of nevi. One of the challenges of treating nevi images is their considerable inhomogeneity in shape, colour, texture and size. To deal with this challenge we use a texture similarity operator, in combination with spatial logic operators. We apply our technique on images of a large public database and compare the results with associated ground truth segmentation provided by domain experts.Source: ISTI Technical Reports 2020/017, 2020, 2020
DOI: 10.32079/isti-tr-2020/017

See at: ISTI Repository Open Access | CNR ExploRA Open Access