CALIMERI, Francesco

CALIMERI, Francesco  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 20 di 152 (tempo di esecuzione: 0.036 secondi).
Titolo Data di pubblicazione Autore(i) File
A framework for easing the development of applications embedding answer set programming 1-gen-2016 Fuscà, D; Germano, S; Zangari, J; Anastasio, M; Calimeri, Francesco; Perri, Simona
A hybrid inductive learning-based and deductive reasoning-based 3-D path planning method in complex environments 1-gen-2022 Segato, Alice; Calimeri, Francesco; Testa, Irene; Corbetta, Valentina; Riva, Marco; Demomi, Elena
A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders 1-gen-2021 Calimeri, F.; Cauteruccio, F.; Cinelli, L.; Marzullo, A.; Stamile, C.; Terracina, G.; Durand-Dubief, F.; Sappey-Marinier, D.
A Lumen Segmentation Method in Ureteroscopy Images based on a Deep Residual U-Net architecture 1-gen-2021 Lazo, Jorge F.; Marzullo, Aldo; Moccia, Sara; Catellani, Michele; Rosa, Benoit; Calimeri, Francesco; de Mathelin, Michel; De Momi, Elena
A machine learning guided rewriting approach for asp logic programs 1-gen-2020 Mastria, E.; Zangari, J.; Perri, S.; Calimeri, F.
A Parallelization Approach for Hybrid-AI-based Models: an Application Study for Semantic Segmentation of Medical Images 1-gen-2022 Scarfone, M.; Bruno, P.; Calimeri, F.
A Smartphone Application for Supporting the Data Collection and Analysis of the Cultural Heritage Damaged during Natural Disasters 1-gen-2017 Costanzo, Antonio; Falcone, S.; Bisignano, Rosalbino; Straface, Michele; Ritacco, G.; La Piana, C.; Musacchio, Mario; Calimeri, F.
A System with Template Answer Set Programs 1-gen-2004 Ianni, Giovambattista; Calimeri, Francesco; Ielpa, G; Pietramala, A; Santoro, M. C.
A tensor-based mutation operator for Neuroevolution of Augmenting Topologies (NEAT) 1-gen-2017 Marzullo, Aldo; Stamile, Claudio; Terracina, Giorgio; Calimeri, Francesco; Van Huffel, S.
A Visual Tracer for DLV 1-gen-2009 Calimeri, Francesco; Leone, Nicola; Ricca, Francesco; Veltri, P.
AIM in Endoscopy Procedures 1-gen-2022 Marzullo, A.; Moccia, S.; Calimeri, F.; De Momi, E.
AIM in Medical Informatics 1-gen-2022 Bruno, Pierangela; Calimeri, Francesco; Greco, Gianluigi
An Agent System Reasoning about the Web and the User 1-gen-2004 Ianni, Giovambattista; Ricca, Francesco; Calimeri, Francesco; Lio, V.; Galizia, S.
An ASP System with Functions, Lists, and Sets 1-gen-2009 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
An Open-Source COVID-19 CT Dataset with Automatic Lung Tissue Classification for Radiomics 1-gen-2021 Zaffino, Paolo; Marzullo, Aldo; Moccia, Sara; Calimeri, Francesco; De Momi, Elena De; Bertucci, Bernardo; Arcuri, Pier Paolo; Spadea, Maria Francesca
Angry-HEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases 1-gen-2016 Calimeri, Francesco; Fink, M; Germano, Stefano; Humenberger, A; Ianni, Giovambattista; Redl, C; Stepanova, D; Tucci, Andrea; Wimmer, A.
AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases 1-gen-2013 Calimeri, Francesco; Fink, M; Germano, S; Ianni, Giovambattista; Redl, C; Wimmer, A.
Answer Set Programming 1-gen-2010 P. A., Bonatti; Calimeri, Francesco; Leone, Nicola; Ricca, Francesco
Answer set programming and declarative problem solving in game AIs 1-gen-2013 Fuscà, D; Germano, S; Zangari, J; Calimeri, Francesco; Perri, Simona
Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach 1-gen-2018 Calimeri, Francesco; Germano, Stefano; Ianni, Giovambattista; Pacenza, Francesco; Pezzimenti, Armando; Tucci, Andrea