Sfoglia per Serie
Language and Temporal Aspects: A Qualitative Study on Trigger Interpretation in Trigger-Action Rules
2023-01-01 Andrao, Margherita; Treccani, Barbara; Zancanaro, Massimo
Learning Hybrid Process Models from Events
2017-01-01 van der Aalst, Wil M. P.; De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara
Leveraging Multi-task Learning for Biomedical Named Entity Recognition
2019-01-01 Mehmood, Tahir; Gerevini, Alfonso E.; Lavelli, Alberto; Serina, Ivan
Logic Tensor Networks for Top-N Recommendation
2023-01-01 Carraro, Tommaso; Daniele, Alessandro; Aiolli, Fabio; Serafini, Luciano
Lost in TLS? No More! Assisted Deployment of Secure TLS Configurations
2019-01-01 Manfredi, Salvatore; Ranise, Silvio; Sciarretta, Giada
A Low-Cost Computer Vision System for Real-Time Tennis Analysis
2019-01-01 Messelodi, S.; Modena, C. M.; Ropele, V.; Marcon, S.; Sgrò, M.
Low-cost IoT, Big data, and Cloud platform for Developing Countries
2017-01-01 Dupont, Corentin; Bures, Tomas; Sheikhalishahi, Mehdi; Pham, Congduc; Rahim, MD Abdur
Mapping Tractography Across Subjects
2016-01-01 Nguyen, Thien Bao; Olivetti, Emanuele; Avesani, Paolo
Minimizing Overprocessing Waste in Business Processes via Predictive Activity Ordering
2016-01-01 Verenich, Ilya; Dumas, Marlon; La Rosa, Marcello; Maggi, Fabrizio Maria; Di Francescomarino, Chiara
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration
2016-01-01 Gario, Marco Elio Gustavo; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne
Model-Based Design of an Energy-System Embedded Controller Using Taste
2016-01-01 Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano
Model-based Player Experience Testing with Emotion Pattern Verification
2023-01-01 Gholizadeh Ansari, Saba; Prasetya, I. S. W. B.; Prandi, Davide; Kifetew, Fitsum Meshesha; Dastani, Mehdi; Dignum, Frank; Keller, Gabriele
Model-Based Safety and Assessment
2017-01-01 Bozzano, Marco; Papadopoulos, Yiannis
Model-Based Safety and Assessment
2019-01-01 Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis; Bozzano, Marco
Modelling (Un)Bounded Beliefs
1999-01-01 Ghidini, Chiara
Motivational Strategies for an Intelligent Chess Tutoring System
2005-01-01 Lepri, Bruno; C., Rocchi; Zancanaro, Massimo
Movie Genre Classification by Exploiting MEG Brain Signals
2015-01-01 Ghaemmaghami, Pouya; Abadi, Mojtaba Khomami; Kia, Seyed Mostafa; Avesani, Paolo; Sebe, Nicu
MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols
2020-01-01 Sinigaglia, Federico; Carbone, Roberto; Costa, Gabriele; Ranise, Silvio
Multi-layered Monitoring and Adaptation
2011-01-01 S., Guinea; G., Kecskemeti; Marconi, Annapaola; B., Wetzstein
Multi-Task Learning for Interpretation of Brain Decoding Models
2016-01-01 Kia, Seyed Mostafa; Vega Pons, Sandro; Olivetti, Emanuele; Avesani, Paolo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Language and Temporal Aspects: A Qualitative Study on Trigger Interpretation in Trigger-Action Rules | 1-gen-2023 | Andrao, Margherita; Treccani, Barbara; Zancanaro, Massimo | |
Learning Hybrid Process Models from Events | 1-gen-2017 | van der Aalst, Wil M. P.; De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara | |
Leveraging Multi-task Learning for Biomedical Named Entity Recognition | 1-gen-2019 | Mehmood, Tahir; Gerevini, Alfonso E.; Lavelli, Alberto; Serina, Ivan | |
Logic Tensor Networks for Top-N Recommendation | 1-gen-2023 | Carraro, Tommaso; Daniele, Alessandro; Aiolli, Fabio; Serafini, Luciano | |
Lost in TLS? No More! Assisted Deployment of Secure TLS Configurations | 1-gen-2019 | Manfredi, Salvatore; Ranise, Silvio; Sciarretta, Giada | |
A Low-Cost Computer Vision System for Real-Time Tennis Analysis | 1-gen-2019 | Messelodi, S.; Modena, C. M.; Ropele, V.; Marcon, S.; Sgrò, M. | |
Low-cost IoT, Big data, and Cloud platform for Developing Countries | 1-gen-2017 | Dupont, Corentin; Bures, Tomas; Sheikhalishahi, Mehdi; Pham, Congduc; Rahim, MD Abdur | |
Mapping Tractography Across Subjects | 1-gen-2016 | Nguyen, Thien Bao; Olivetti, Emanuele; Avesani, Paolo | |
Minimizing Overprocessing Waste in Business Processes via Predictive Activity Ordering | 1-gen-2016 | Verenich, Ilya; Dumas, Marlon; La Rosa, Marcello; Maggi, Fabrizio Maria; Di Francescomarino, Chiara | |
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration | 1-gen-2016 | Gario, Marco Elio Gustavo; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne | |
Model-Based Design of an Energy-System Embedded Controller Using Taste | 1-gen-2016 | Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano | |
Model-based Player Experience Testing with Emotion Pattern Verification | 1-gen-2023 | Gholizadeh Ansari, Saba; Prasetya, I. S. W. B.; Prandi, Davide; Kifetew, Fitsum Meshesha; Dastani, Mehdi; Dignum, Frank; Keller, Gabriele | |
Model-Based Safety and Assessment | 1-gen-2017 | Bozzano, Marco; Papadopoulos, Yiannis | |
Model-Based Safety and Assessment | 1-gen-2019 | Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis; Bozzano, Marco | |
Modelling (Un)Bounded Beliefs | 1-gen-1999 | Ghidini, Chiara | |
Motivational Strategies for an Intelligent Chess Tutoring System | 1-gen-2005 | Lepri, Bruno; C., Rocchi; Zancanaro, Massimo | |
Movie Genre Classification by Exploiting MEG Brain Signals | 1-gen-2015 | Ghaemmaghami, Pouya; Abadi, Mojtaba Khomami; Kia, Seyed Mostafa; Avesani, Paolo; Sebe, Nicu | |
MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols | 1-gen-2020 | Sinigaglia, Federico; Carbone, Roberto; Costa, Gabriele; Ranise, Silvio | |
Multi-layered Monitoring and Adaptation | 1-gen-2011 | S., Guinea; G., Kecskemeti; Marconi, Annapaola; B., Wetzstein | |
Multi-Task Learning for Interpretation of Brain Decoding Models | 1-gen-2016 | Kia, Seyed Mostafa; Vega Pons, Sandro; Olivetti, Emanuele; Avesani, Paolo |
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