Sfoglia per Serie
SeXAI: A Semantic Explainable Artificial Intelligence Framework
2020-01-01 Donadello, Ivan; Dragoni, Mauro
Shared and Searchable Encrypted Data for Untrusted Servers
2008-01-01 C., Dong; N., Dulay; Russello, G.
SIMDOMO: A Tool for Long-term Simulations of Ambient-Assisted Living
2014-01-01 Zancanaro, Massimo; Marchesoni, Michele; Armellin, Giampaolo
SocialLink: Linking DBpedia entities to corresponding Twitter accounts
2017-01-01 Nechaev, Yaroslav; Corcoglioniti, Francesco; Giuliano, Claudio
Specifying Requirements for Data Collection and Analysis in Data-Driven RE. A Research Preview
2021-01-01 Astegher, Maurizio; Busetta, Paolo; Perini, Anna; Susi, Angelo
Stigmergy-based modeling to discover urban activity patterns from positioning data
2017-01-01 Alfeo, Antonio Luca; Cimino, Mario Giovanni; Egidi, Sara; Lepri, Bruno; Pentland, Alex; Vaglini, Gigliola
Stress Modelling Using Transfer Learning in Presence of Scarce Data
2015-01-01 Hernandez Leal, Pablo; Maxhuni, Alban; Sucar, Enrique; Osmani, Venet; Morales, Eduardo F.; Mayora Ibarra, Oscar Arturo
Structural Semantic Models for Automatic Analysis of Land Use
2017-01-01 Barlacchi, Gianni; Rossi, Alberto; Lepri, Bruno; Moschitti, A
SVP-Classifier: Single-View Point Cloud Data Classifier with Multi-view Hallucination
2022-01-01 Saber Mohammadi, Seyed; Wang, Yiming; Taiana, Matteo; Morerio, Pietro; Del Bue, Alessio
Symbolic Model Checking of Relative Safety LTL Properties
2024-01-01 Bombardelli, Alberto; Cimatti, Alessandro; Tonetta, Stefano; Zamboni, Marco
T-Rex: A Milano Retinex Implementation based on Intensity Thresholding
2017-01-01 Lecca, Michela; Modena, Carla Maria; Rizzi, Alessandro
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study
2017-01-01 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro
Top-down Attention Recurrent VLAD Encoding for Action Recognition in Videos
2018-01-01 Sudhakaran, Swathikiran; Lanz, Oswald
Towards Automatic Digitalization of Railway Engineering Schematics
2023-01-01 Stefenon, Stefano Frizzo; Cristoforetti, Marco; Cimatti, Alessandro
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development
2024-01-01 Koenig, Lukas; Heinzemann, Christian; Griggio, Alberto; Klauck, Michaela; Cimatti, Alessandro; Henze, Franziska; Tonetta, Stefano; Kueperkoch, Stefan; Fassbender, Dennis; Hanselmann, Michael
Tractogram Filtering of Anatomically Non-plausible Fibers with Geometric Deep Learning
2020-01-01 Astolfi, P.; Verhagen, R.; Petit, L.; Olivetti, E.; Masci, J.; Boscaini, D.; Avesani, P.
Uncertainty-Guided Source-Free Domain Adaptation
2022-01-01 Roy, Subhankar; Trapp, Martin; Pilzer, Andrea; Kannala, Juho; Sebe, Nicu; Ricci, Elisa; Solin, Arno
Understanding Concepts, Methods and Tools for End-User Control of Automations in Ecosystems of Smart Objects and Services
2023-01-01 Andrao, Margherita; Balducci, Fabrizio; Breve, Bernardo; Cena, Federica; Desolda, Giuseppe; Deufemia, Vincenzo; Gena, Cristina; Matera, Maristella; Mattioli, Andrea; Paternò, Fabio; Santoro, Carmen; Treccani, Barbara; Vernero, Fabiana; Zancanaro, Massimo
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning
2021-01-01 Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca
Unraveling ChatGPT: A Critical Analysis of AI-Generated Goal-Oriented Dialogues and Annotations
2023-01-01 Labruna, Tiziano; Brenna, Sofia; Zaninello, Andrea; Magnini, Bernardo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
SeXAI: A Semantic Explainable Artificial Intelligence Framework | 1-gen-2020 | Donadello, Ivan; Dragoni, Mauro | |
Shared and Searchable Encrypted Data for Untrusted Servers | 1-gen-2008 | C., Dong; N., Dulay; Russello, G. | |
SIMDOMO: A Tool for Long-term Simulations of Ambient-Assisted Living | 1-gen-2014 | Zancanaro, Massimo; Marchesoni, Michele; Armellin, Giampaolo | |
SocialLink: Linking DBpedia entities to corresponding Twitter accounts | 1-gen-2017 | Nechaev, Yaroslav; Corcoglioniti, Francesco; Giuliano, Claudio | |
Specifying Requirements for Data Collection and Analysis in Data-Driven RE. A Research Preview | 1-gen-2021 | Astegher, Maurizio; Busetta, Paolo; Perini, Anna; Susi, Angelo | |
Stigmergy-based modeling to discover urban activity patterns from positioning data | 1-gen-2017 | Alfeo, Antonio Luca; Cimino, Mario Giovanni; Egidi, Sara; Lepri, Bruno; Pentland, Alex; Vaglini, Gigliola | |
Stress Modelling Using Transfer Learning in Presence of Scarce Data | 1-gen-2015 | Hernandez Leal, Pablo; Maxhuni, Alban; Sucar, Enrique; Osmani, Venet; Morales, Eduardo F.; Mayora Ibarra, Oscar Arturo | |
Structural Semantic Models for Automatic Analysis of Land Use | 1-gen-2017 | Barlacchi, Gianni; Rossi, Alberto; Lepri, Bruno; Moschitti, A | |
SVP-Classifier: Single-View Point Cloud Data Classifier with Multi-view Hallucination | 1-gen-2022 | Saber Mohammadi, Seyed; Wang, Yiming; Taiana, Matteo; Morerio, Pietro; Del Bue, Alessio | |
Symbolic Model Checking of Relative Safety LTL Properties | 1-gen-2024 | Bombardelli, Alberto; Cimatti, Alessandro; Tonetta, Stefano; Zamboni, Marco | |
T-Rex: A Milano Retinex Implementation based on Intensity Thresholding | 1-gen-2017 | Lecca, Michela; Modena, Carla Maria; Rizzi, Alessandro | |
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study | 1-gen-2017 | Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro | |
Top-down Attention Recurrent VLAD Encoding for Action Recognition in Videos | 1-gen-2018 | Sudhakaran, Swathikiran; Lanz, Oswald | |
Towards Automatic Digitalization of Railway Engineering Schematics | 1-gen-2023 | Stefenon, Stefano Frizzo; Cristoforetti, Marco; Cimatti, Alessandro | |
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development | 1-gen-2024 | Koenig, Lukas; Heinzemann, Christian; Griggio, Alberto; Klauck, Michaela; Cimatti, Alessandro; Henze, Franziska; Tonetta, Stefano; Kueperkoch, Stefan; Fassbender, Dennis; Hanselmann, Michael | |
Tractogram Filtering of Anatomically Non-plausible Fibers with Geometric Deep Learning | 1-gen-2020 | Astolfi, P.; Verhagen, R.; Petit, L.; Olivetti, E.; Masci, J.; Boscaini, D.; Avesani, P. | |
Uncertainty-Guided Source-Free Domain Adaptation | 1-gen-2022 | Roy, Subhankar; Trapp, Martin; Pilzer, Andrea; Kannala, Juho; Sebe, Nicu; Ricci, Elisa; Solin, Arno | |
Understanding Concepts, Methods and Tools for End-User Control of Automations in Ecosystems of Smart Objects and Services | 1-gen-2023 | Andrao, Margherita; Balducci, Fabrizio; Breve, Bernardo; Cena, Federica; Desolda, Giuseppe; Deufemia, Vincenzo; Gena, Cristina; Matera, Maristella; Mattioli, Andrea; Paternò, Fabio; Santoro, Carmen; Treccani, Barbara; Vernero, Fabiana; Zancanaro, Massimo | |
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning | 1-gen-2021 | Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca | |
Unraveling ChatGPT: A Critical Analysis of AI-Generated Goal-Oriented Dialogues and Annotations | 1-gen-2023 | Labruna, Tiziano; Brenna, Sofia; Zaninello, Andrea; Magnini, Bernardo |
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