Sfoglia per Serie
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
Unstructured Data in Predictive Process Monitoring: Lexicographic and Semantic Mapping to ICD-9-CM Codes for the Home Hospitalization Service
2022-01-01 Ronzani, Massimiliano; Ferrod, Roger; Di Francescomarino, Chiara; Sulis, Emilio; Aringhieri, Roberto; Boella, Guido; Brunetti, Enrico; Di Caro, Luigi; Dragoni, Mauro; Ghidini, Chiara; Marinello, Renata
Unsupervised Video Anomaly Detection with Diffusion Models Conditioned on Compact Motion Representations
2023-01-01 Tur, Anil Osman; Dall’Asen, Nicola; Beyan, Cigdem; Ricci, Elisa
Usability- and Accessibility-Focused Requirements Engineering - First International Workshop, UsARE 2012, Held in Conjunction with {ICSE} 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop UsARE 2014, Held in Conjunction with {RE} 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers
2016-01-01 A., Ebert; S. R., Humayoun; N., Seyff; Perini, Anna; S. D. J., Barbosa
Using fuzzy neural networks to the prediction of improvement in expert systems for treatment of immunotherapy
2018-01-01 Guimarães, A. J.; Silva Araujo, V. J.; de Campos Souza, P. V.; Araujo, V. S.; Rezende, T. S.
Using Parallel Corpora for Multilingual (Multi-document) Summarisation Evaluation
2010-01-01 Turchi, Marco; Steinberger, Josef; Kabadjov, Mijail; Steinberger, Ralf
Validating Requirements of Access Control for Cloud-Edge IoT Solutions
2018-01-01 Ahmad, Tahir; Ranise, Silvio
Verifiable Contracting
2020-01-01 Nóbrega Gonçalves, Sérgio Manuel; Tomasi, Alessandro; Bisegna, Andrea; Pellizzari, Giulio; Ranise, Silvio
Verification of SMT Systems with Quantifiers
2022-01-01 Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca
Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
2023-01-01 Lal, Akash; Tonetta, Stefano
Visual Aids to the Rescue: Predicting Creativity in Multimodal Artwork
2023-01-01 Strapparava, Carlo; Tekiroglu, Serra Sinem; Özbal, Gözde
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 | |
| Unstructured Data in Predictive Process Monitoring: Lexicographic and Semantic Mapping to ICD-9-CM Codes for the Home Hospitalization Service | 1-gen-2022 | Ronzani, Massimiliano; Ferrod, Roger; Di Francescomarino, Chiara; Sulis, Emilio; Aringhieri, Roberto; Boella, Guido; Brunetti, Enrico; Di Caro, Luigi; Dragoni, Mauro; Ghidini, Chiara; Marinello, Renata | |
| Unsupervised Video Anomaly Detection with Diffusion Models Conditioned on Compact Motion Representations | 1-gen-2023 | Tur, Anil Osman; Dall’Asen, Nicola; Beyan, Cigdem; Ricci, Elisa | |
| Usability- and Accessibility-Focused Requirements Engineering - First International Workshop, UsARE 2012, Held in Conjunction with {ICSE} 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop UsARE 2014, Held in Conjunction with {RE} 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers | 1-gen-2016 | A., Ebert; S. R., Humayoun; N., Seyff; Perini, Anna; S. D. J., Barbosa | |
| Using fuzzy neural networks to the prediction of improvement in expert systems for treatment of immunotherapy | 1-gen-2018 | Guimarães, A. J.; Silva Araujo, V. J.; de Campos Souza, P. V.; Araujo, V. S.; Rezende, T. S. | |
| Using Parallel Corpora for Multilingual (Multi-document) Summarisation Evaluation | 1-gen-2010 | Turchi, Marco; Steinberger, Josef; Kabadjov, Mijail; Steinberger, Ralf | |
| Validating Requirements of Access Control for Cloud-Edge IoT Solutions | 1-gen-2018 | Ahmad, Tahir; Ranise, Silvio | |
| Verifiable Contracting | 1-gen-2020 | Nóbrega Gonçalves, Sérgio Manuel; Tomasi, Alessandro; Bisegna, Andrea; Pellizzari, Giulio; Ranise, Silvio | |
| Verification of SMT Systems with Quantifiers | 1-gen-2022 | Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca | |
| Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers | 1-gen-2023 | Lal, Akash; Tonetta, Stefano | |
| Visual Aids to the Rescue: Predicting Creativity in Multimodal Artwork | 1-gen-2023 | Strapparava, Carlo; Tekiroglu, Serra Sinem; Özbal, Gözde |
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