Sfoglia per Serie
Personalized Environmental Service Configuration and Delivery Orchestration: The PESCaDO Demonstrator
2015-01-01 L., Wanner; Rospocher, Marco; S., Vrochidis; H., Bosch; N., Bouayad Agha; U., Bugel; G., Casamayor; T., Ertl; D., Hilbring; A., Karppinen; I., Kompatsiaris; T., Koskentalo; S., Mille; J., Mossgraber; A., Moumtzidou; M., Myllynen; Pianta, Emanuele; H., Saggion; Serafini, Luciano; V., Tarvainen; Tonelli, Sara
PolEnA: Enforcing Fine-grained Permission Policies in Android
2017-01-01 Costa, Gabriele; Sinigaglia, Federico; Carbone, Roberto
Predictive Process Monitoring Methods: Which One Suits Me Best?
2018-01-01 Di Francescomarino, Chiara; Ghidini, Chiara; Maria Maggi, Fabrizio; Milani, Fredrik
Progressive Keypoint Localization and Refinement in Image Matching
2024-01-01 Bellavia, Fabio; Morelli, Luca; Colombo, Carlo; Remondino, Fabio
Proving the Existence of Fair Paths in Infinite-State Systems
2021-01-01 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico
Quantum Motion Segmentation
2022-01-01 Arrigoni, Federica; Menapace, Willi; Benkner, Marcel Seelbach; Ricci, Elisa; Golyanik, Vladislav
Reasoning with Justifiable Exceptions in EL_bot Contextualized Knowledge Repositories
2019-01-01 Bozzato, Loris; Eiter, Thomas; Serafini, Luciano
Reduced Variable Neighbourhood Search for the Generation of Controlled Circular Data
2021-01-01 Consoli, Sergio; Perrotta, Domenico; Turchi, Marco
Risk-Driven Compliance Assurance for Collaborative AI Systems: A Vision Paper
2021-01-01 Camilli, Matteo; Felderer, Michael; Giusti, Andrea; Tobias Matt, Dominik; Perini, Anna; Russo, Barbara; Susi, Angelo
Robust Modeling of Human Contact Networks across Different Scales and Proximity-sensing Techniques
2017-01-01 Starnini, M.; Lepri, Bruno; Baronchelli, A.; Barrat, A.; Cattuto, C.; Pastor, Satorras
Safe Decomposition of Startup Requirements: Verification and Synthesis
2020-01-01 Cimatti, Alessandro; Geatti, Luca; Griggio, Alberto; Kimberly, Greg; Tonetta, Stefano
Satisfiability Modulo Transcendental Functions via Incremental Linearization
2017-01-01 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
SC^2: Satisfiability Checking Meets Symbolic Computation
2016-01-01 Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas
Search Based Clustering for Protecting Software with Diversified Updates
2016-01-01 Ceccato, Mariano; Falcarin, Paolo; Cabutto, Alessandro; Frezghi, Yosief Weldezghi; Staicu, Cristian Alexandru
Search Based Path and Input Data Generation for Web Application Testing
2017-01-01 Biagiola, Matteo; Ricca, Filippo; Tonella, Paolo
Search-Based Automated Play Testing of Computer Games: A Model-Based Approach
2021-01-01 Ferdous, Raihana; Kifetew, Fitsum; Prandi, Davide; Prasetya, I. S. W. B.; Shirzadehhajimahmood, Samira; Susi, Angelo
Searching for i-Good Lemmas to Accelerate Safety Model Checking
2023-01-01 Xia, Yechuan; Becchi, Anna; Cimatti, Alessandro; Griggio, Alberto; Li, Jianwen; Pu, Geguang
Self-supervised Pre-training Enhances Change Detection in Sentinel-2 Imagery
2021-01-01 Leenstra, Marrit; Marcos, Diego; Bovolo, Francesca; Tuia, Devis
Self-Supervision for 3D Real-World Challenges
2020-01-01 Alliegro, Antonio; Boscaini, Davide; Tommasi, Tatiana
Service-Oriented Computing - ICSOC 2018 Workshops
2019-01-01 Liu, Xiao; Mrissa, Michael; Zhang, Liang; Benslimane, Djamal; Ghose, Aditya; Wang, Zhongjie; Bucchiarone, Antonio; Zhang, Wei; Zou, Ying; Yu, Qi
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Personalized Environmental Service Configuration and Delivery Orchestration: The PESCaDO Demonstrator | 1-gen-2015 | L., Wanner; Rospocher, Marco; S., Vrochidis; H., Bosch; N., Bouayad Agha; U., Bugel; G., Casamayor; T., Ertl; D., Hilbring; A., Karppinen; I., Kompatsiaris; T., Koskentalo; S., Mille; J., Mossgraber; A., Moumtzidou; M., Myllynen; Pianta, Emanuele; H., Saggion; Serafini, Luciano; V., Tarvainen; Tonelli, Sara | |
| PolEnA: Enforcing Fine-grained Permission Policies in Android | 1-gen-2017 | Costa, Gabriele; Sinigaglia, Federico; Carbone, Roberto | |
| Predictive Process Monitoring Methods: Which One Suits Me Best? | 1-gen-2018 | Di Francescomarino, Chiara; Ghidini, Chiara; Maria Maggi, Fabrizio; Milani, Fredrik | |
| Progressive Keypoint Localization and Refinement in Image Matching | 1-gen-2024 | Bellavia, Fabio; Morelli, Luca; Colombo, Carlo; Remondino, Fabio | |
| Proving the Existence of Fair Paths in Infinite-State Systems | 1-gen-2021 | Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico | |
| Quantum Motion Segmentation | 1-gen-2022 | Arrigoni, Federica; Menapace, Willi; Benkner, Marcel Seelbach; Ricci, Elisa; Golyanik, Vladislav | |
| Reasoning with Justifiable Exceptions in EL_bot Contextualized Knowledge Repositories | 1-gen-2019 | Bozzato, Loris; Eiter, Thomas; Serafini, Luciano | |
| Reduced Variable Neighbourhood Search for the Generation of Controlled Circular Data | 1-gen-2021 | Consoli, Sergio; Perrotta, Domenico; Turchi, Marco | |
| Risk-Driven Compliance Assurance for Collaborative AI Systems: A Vision Paper | 1-gen-2021 | Camilli, Matteo; Felderer, Michael; Giusti, Andrea; Tobias Matt, Dominik; Perini, Anna; Russo, Barbara; Susi, Angelo | |
| Robust Modeling of Human Contact Networks across Different Scales and Proximity-sensing Techniques | 1-gen-2017 | Starnini, M.; Lepri, Bruno; Baronchelli, A.; Barrat, A.; Cattuto, C.; Pastor, Satorras | |
| Safe Decomposition of Startup Requirements: Verification and Synthesis | 1-gen-2020 | Cimatti, Alessandro; Geatti, Luca; Griggio, Alberto; Kimberly, Greg; Tonetta, Stefano | |
| Satisfiability Modulo Transcendental Functions via Incremental Linearization | 1-gen-2017 | Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto | |
| SC^2: Satisfiability Checking Meets Symbolic Computation | 1-gen-2016 | Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas | |
| Search Based Clustering for Protecting Software with Diversified Updates | 1-gen-2016 | Ceccato, Mariano; Falcarin, Paolo; Cabutto, Alessandro; Frezghi, Yosief Weldezghi; Staicu, Cristian Alexandru | |
| Search Based Path and Input Data Generation for Web Application Testing | 1-gen-2017 | Biagiola, Matteo; Ricca, Filippo; Tonella, Paolo | |
| Search-Based Automated Play Testing of Computer Games: A Model-Based Approach | 1-gen-2021 | Ferdous, Raihana; Kifetew, Fitsum; Prandi, Davide; Prasetya, I. S. W. B.; Shirzadehhajimahmood, Samira; Susi, Angelo | |
| Searching for i-Good Lemmas to Accelerate Safety Model Checking | 1-gen-2023 | Xia, Yechuan; Becchi, Anna; Cimatti, Alessandro; Griggio, Alberto; Li, Jianwen; Pu, Geguang | |
| Self-supervised Pre-training Enhances Change Detection in Sentinel-2 Imagery | 1-gen-2021 | Leenstra, Marrit; Marcos, Diego; Bovolo, Francesca; Tuia, Devis | |
| Self-Supervision for 3D Real-World Challenges | 1-gen-2020 | Alliegro, Antonio; Boscaini, Davide; Tommasi, Tatiana | |
| Service-Oriented Computing - ICSOC 2018 Workshops | 1-gen-2019 | Liu, Xiao; Mrissa, Michael; Zhang, Liang; Benslimane, Djamal; Ghose, Aditya; Wang, Zhongjie; Bucchiarone, Antonio; Zhang, Wei; Zou, Ying; Yu, Qi |
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