Sfoglia per Serie
GIPSO: Geometrically Informed Propagation for Online Adaptation in 3D LiDAR Segmentation
2022-01-01 Saltori, Cristiano; Krivosheev, Evgeny; Lathuiliére, Stéphane; Sebe, Nicu; Galasso, Fabio; Fiameni, Giuseppe; Ricci, Elisa; Poiesi, Fabio
A Goal-Based Framework for Supporting Medical Assistance: The Case of Chronic Diseases
2020-01-01 Santos Teixeira, Milene; da Costa Pereira, Celia; Dragoni, Mauro
Grammar Based Genetic Programming for Software Configuration Problem
2017-01-01 Kifetew, Fitsum Meshesha; Denisse, Muñante; Gorroñogoitia, Jesús; Siena, Alberto; Susi, Angelo; Perini, Anna
Graph-Based Design and Analysis of Dynamic Software Architectures
2008-01-01 Bruni, Roberto; Bucchiarone, Antonio; Gnesi, Stefania; Hirsch, Dan; Lluch Lafuente, Alberto
Graph-Based Generative Face Anonymisation with Pose Preservation
2022-01-01 Dall'Asen, Nicola; Wang, Yiming; Tang, Hao; Zanella, Luca; Ricci, Elisa
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test
2022-01-01 Cimatti, Alessandro; Griggio, Alberto; Lipparini, Enrico; Sebastiani, Roberto
Human Behavior Understanding for Inducing Behavioral Change: Application Perspectives
2011-01-01 A. A., Salah; Lepri, Bruno; Pianesi, Fabio; A., Pentland
Image Analysis and Processing – ICIAP 2019. 20th International Conference, Trento, Italy, September 9–13, 2019, Proceedings, Part I
2019-01-01 Ricci, Elisa; Rota Bulò, Samuel; Snoek, Cees; Lanz, Oswald; Messelodi, Stefano; Sebe, Nicu
Image-to-Voxel Model Translation with Conditional Adversarial Networks
2018-01-01 Knyaz, V. A.; Knyaz, V. V.; Remondino, F.
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems
2021-01-01 Mover, Sergio; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Tonetta, Stefano
Improving FREAK Descriptor for Image Classification
2015-01-01 Hilario Gomez, Cristina; Medathati, Kartheek; Kornprobst, Pierre; Murino, Vittorio; Sona, Diego
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions
2017-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Incremental Control Dependency Frontier Exploration for Many-Criteria Test Case Generation
2018-01-01 Panichella, Annibale; Kifetew, Fitsum Meshesha; Tonella, Paolo
Inference and Validation of Networks
2009-01-01 Flaounas, Ilias N.; Turchi, Marco; De Bie, Tijl; Cristianini, Nello
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations
2016-01-01 Jakub, Daniel; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio
Information Extraction for Learning Expressive Ontologies
2015-01-01 Petrucci, Giulio
Integrating a Pentesting Tool for IdM Protocols in a Continuous Delivery Pipeline
2021-01-01 Bisegna, Andrea; Carbone, Roberto; Ranise, Silvio
Interactive Comic-Based Digital Storytelling for Self-expression
2018-01-01 Rutta, Carolina Beniamina; Schiavo, Gianluca; Zancanaro, Massimo
Interactive Digital Storytelling and Self-expression in the Context of Young Male Migrants
2018-01-01 Rutta, Carolina Beniamina; Schiavo, Gianluca; Zancanaro, Massimo
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments
2016-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
GIPSO: Geometrically Informed Propagation for Online Adaptation in 3D LiDAR Segmentation | 1-gen-2022 | Saltori, Cristiano; Krivosheev, Evgeny; Lathuiliére, Stéphane; Sebe, Nicu; Galasso, Fabio; Fiameni, Giuseppe; Ricci, Elisa; Poiesi, Fabio | |
A Goal-Based Framework for Supporting Medical Assistance: The Case of Chronic Diseases | 1-gen-2020 | Santos Teixeira, Milene; da Costa Pereira, Celia; Dragoni, Mauro | |
Grammar Based Genetic Programming for Software Configuration Problem | 1-gen-2017 | Kifetew, Fitsum Meshesha; Denisse, Muñante; Gorroñogoitia, Jesús; Siena, Alberto; Susi, Angelo; Perini, Anna | |
Graph-Based Design and Analysis of Dynamic Software Architectures | 1-gen-2008 | Bruni, Roberto; Bucchiarone, Antonio; Gnesi, Stefania; Hirsch, Dan; Lluch Lafuente, Alberto | |
Graph-Based Generative Face Anonymisation with Pose Preservation | 1-gen-2022 | Dall'Asen, Nicola; Wang, Yiming; Tang, Hao; Zanella, Luca; Ricci, Elisa | |
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test | 1-gen-2022 | Cimatti, Alessandro; Griggio, Alberto; Lipparini, Enrico; Sebastiani, Roberto | |
Human Behavior Understanding for Inducing Behavioral Change: Application Perspectives | 1-gen-2011 | A. A., Salah; Lepri, Bruno; Pianesi, Fabio; A., Pentland | |
Image Analysis and Processing – ICIAP 2019. 20th International Conference, Trento, Italy, September 9–13, 2019, Proceedings, Part I | 1-gen-2019 | Ricci, Elisa; Rota Bulò, Samuel; Snoek, Cees; Lanz, Oswald; Messelodi, Stefano; Sebe, Nicu | |
Image-to-Voxel Model Translation with Conditional Adversarial Networks | 1-gen-2018 | Knyaz, V. A.; Knyaz, V. V.; Remondino, F. | |
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems | 1-gen-2021 | Mover, Sergio; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Tonetta, Stefano | |
Improving FREAK Descriptor for Image Classification | 1-gen-2015 | Hilario Gomez, Cristina; Medathati, Kartheek; Kornprobst, Pierre; Murino, Vittorio; Sona, Diego | |
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions | 1-gen-2017 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano | |
Incremental Control Dependency Frontier Exploration for Many-Criteria Test Case Generation | 1-gen-2018 | Panichella, Annibale; Kifetew, Fitsum Meshesha; Tonella, Paolo | |
Inference and Validation of Networks | 1-gen-2009 | Flaounas, Ilias N.; Turchi, Marco; De Bie, Tijl; Cristianini, Nello | |
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations | 1-gen-2016 | Jakub, Daniel; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio | |
Information Extraction for Learning Expressive Ontologies | 1-gen-2015 | Petrucci, Giulio | |
Integrating a Pentesting Tool for IdM Protocols in a Continuous Delivery Pipeline | 1-gen-2021 | Bisegna, Andrea; Carbone, Roberto; Ranise, Silvio | |
Interactive Comic-Based Digital Storytelling for Self-expression | 1-gen-2018 | Rutta, Carolina Beniamina; Schiavo, Gianluca; Zancanaro, Massimo | |
Interactive Digital Storytelling and Self-expression in the Context of Young Male Migrants | 1-gen-2018 | Rutta, Carolina Beniamina; Schiavo, Gianluca; Zancanaro, Massimo | |
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments | 1-gen-2016 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile