Sfoglia per Serie
Exploiting Scene-Specific Features for Object Goal Navigation
2021-01-01 Campari, Tommaso; Eccher, Paolo; Serafini, Luciano; Ballan, Lamberto
An Eye into the Future: Leveraging A-priori Knowledge in Predictive Business Process Monitoring
2017-01-01 Di Francescomarino, Chiara; Ghidini, Chiara; Maggi, Fabrizio Maria; Petrucci, Giulio; Yeshchenko, Anton
Finding and Analyzing App Reviews Related to Specific Features: A Research Preview
2019-01-01 Dabrowski, Jacek; Letier, Emmanuel; Perini, Anna; Susi, Angelo
Fine-Tuning BERT for Generative Dialogue Domain Adaptation
2022-01-01 Labruna, Tiziano; Magnini, Bernardo
Following wrong suggestions: Self-blame in human and computer scenarios
2019-01-01 Beretta, Andrea; Zancanaro, Massimo; Lepri, Bruno
Formal Design and Validation of an Automatic Train Operation Control System
2022-01-01 Amendola, Arturo; Barruffo, Lorenzo; Bozzano, Marco; Cimatti, Alessandro; De Simone, Salvatore; Fedeli, Eugenio; Gabbasov, Artem; Ernesto Garrubba, Domenico; Girardi, Massimiliano; Serra, Diana; Tiella, Roberto; Zampedri, Gianni
A Formal IDE for Railways: Research Challenges
2023-01-01 Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Susi, Angelo
Formal Specification and Verification of Dynamic Parametrized Architectures
2018-01-01 Cimatti, Alessandro; Stojic, Ivan; Tonetta, Stefano
Formal Verification of Infinite-State BIP Models
2015-01-01 Bliudze, Simon; Cimatti, Alessandro; Jaber, Mohamad; Mover, Sergio; Roveri, Marco; Saab, Wajeb; Wang, Qiang
Found in Translation
2009-01-01 Turchi, Marco; Flaounas, Ilias; Ali, Omar; De Bie, Tijl; Snowsill, Tristan; Cristianini, Nello
From Electrical Switched Networks to Hybrid Automata
2016-01-01 Cimatti, Alessandro; Mover, S.; Sessa, Mirko
Functional Decomposition in 5G Networks
2016-01-01 Harutyunyan, D.; Riggio, R.
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
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Exploiting Scene-Specific Features for Object Goal Navigation | 1-gen-2021 | Campari, Tommaso; Eccher, Paolo; Serafini, Luciano; Ballan, Lamberto | |
An Eye into the Future: Leveraging A-priori Knowledge in Predictive Business Process Monitoring | 1-gen-2017 | Di Francescomarino, Chiara; Ghidini, Chiara; Maggi, Fabrizio Maria; Petrucci, Giulio; Yeshchenko, Anton | |
Finding and Analyzing App Reviews Related to Specific Features: A Research Preview | 1-gen-2019 | Dabrowski, Jacek; Letier, Emmanuel; Perini, Anna; Susi, Angelo | |
Fine-Tuning BERT for Generative Dialogue Domain Adaptation | 1-gen-2022 | Labruna, Tiziano; Magnini, Bernardo | |
Following wrong suggestions: Self-blame in human and computer scenarios | 1-gen-2019 | Beretta, Andrea; Zancanaro, Massimo; Lepri, Bruno | |
Formal Design and Validation of an Automatic Train Operation Control System | 1-gen-2022 | Amendola, Arturo; Barruffo, Lorenzo; Bozzano, Marco; Cimatti, Alessandro; De Simone, Salvatore; Fedeli, Eugenio; Gabbasov, Artem; Ernesto Garrubba, Domenico; Girardi, Massimiliano; Serra, Diana; Tiella, Roberto; Zampedri, Gianni | |
A Formal IDE for Railways: Research Challenges | 1-gen-2023 | Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Susi, Angelo | |
Formal Specification and Verification of Dynamic Parametrized Architectures | 1-gen-2018 | Cimatti, Alessandro; Stojic, Ivan; Tonetta, Stefano | |
Formal Verification of Infinite-State BIP Models | 1-gen-2015 | Bliudze, Simon; Cimatti, Alessandro; Jaber, Mohamad; Mover, Sergio; Roveri, Marco; Saab, Wajeb; Wang, Qiang | |
Found in Translation | 1-gen-2009 | Turchi, Marco; Flaounas, Ilias; Ali, Omar; De Bie, Tijl; Snowsill, Tristan; Cristianini, Nello | |
From Electrical Switched Networks to Hybrid Automata | 1-gen-2016 | Cimatti, Alessandro; Mover, S.; Sessa, Mirko | |
Functional Decomposition in 5G Networks | 1-gen-2016 | Harutyunyan, D.; Riggio, R. | |
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 |
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