Sfoglia per Serie
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
Intra and Inter-case Features in Predictive Process Monitoring: A Tale of Two Dimensions
2017-01-01 Senderovich, Arik; Di Francescomarino, Chiara; Ghidini, Chiara; Jorbina, Kerwin; Maggi, Fabrizio Maria
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF
2017-01-01 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
The invisible power of fairness. How machine learning shapes democracy
2019-01-01 Beretta, Elena; Santangelo, Antonio; Lepri, Bruno; Vetrò, Antonio; Carlos De Martin:, Juan
Kernel-Based Analysis of Functional Brain Connectivity on Grassmann Manifold
2015-01-01 Dodero, Luca; Sambataro, Fabio; Murino, Vittorio; Sona, Diego
Key-concept Extraction for Ontology Engineering
2012-01-01 Rospocher, Marco; Tonelli, Sara; Serafini, Luciano; Pianta, Emanuele
Knowledge Enhanced Neural Networks
2019-01-01 Daniele, Alessandro; Serafini, Luciano
Knowledge Enhanced Neural Networks for Relational Domains
2023-01-01 Daniele, Alessandro; Serafini, Luciano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
Intra and Inter-case Features in Predictive Process Monitoring: A Tale of Two Dimensions | 1-gen-2017 | Senderovich, Arik; Di Francescomarino, Chiara; Ghidini, Chiara; Jorbina, Kerwin; Maggi, Fabrizio Maria | |
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF | 1-gen-2017 | Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto | |
The invisible power of fairness. How machine learning shapes democracy | 1-gen-2019 | Beretta, Elena; Santangelo, Antonio; Lepri, Bruno; Vetrò, Antonio; Carlos De Martin:, Juan | |
Kernel-Based Analysis of Functional Brain Connectivity on Grassmann Manifold | 1-gen-2015 | Dodero, Luca; Sambataro, Fabio; Murino, Vittorio; Sona, Diego | |
Key-concept Extraction for Ontology Engineering | 1-gen-2012 | Rospocher, Marco; Tonelli, Sara; Serafini, Luciano; Pianta, Emanuele | |
Knowledge Enhanced Neural Networks | 1-gen-2019 | Daniele, Alessandro; Serafini, Luciano | |
Knowledge Enhanced Neural Networks for Relational Domains | 1-gen-2023 | Daniele, Alessandro; Serafini, Luciano |
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