Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
FashionSearch++: Improving Consumer-to-Shop Clothes Retrieval with Hard Negatives
2021 Morelli, Davide; Cornia, Marcella; Cucchiara, Rita
A Framework for Automating Security Assessments with Deductive Reasoning
2023 Andreolini, M.; Artioli, A.; Ferretti, L.; Marchetti, M.; Colajanni, M.; Righi, C.
From service-oriented architectures to nature-inspired pervasive service ecosystems
2010 Zambonelli, F.; Viroli, M.
From the Blockchain to Logic Programming and Back: Research Perspectives
2018 Ciatto, Giovanni; Calegari, Roberta; Mariani, Stefano; Denti, Enrico; Omicini, Andrea
Game Engines to Model MAS: A Research Roadmap
2016 Mariani, Stefano; Omicini, Andrea
GDPR privacy policies in CLAUDETTE: Challenges of omission, context and multilingualism
2019 Liepin, R.; Contissa, G.; Drazewski, K.; Lagioia, F.; Lippi, M.; Micklitz, H. -W.; Palka, P.; Sartor, G.; Torroni, P.
Geometric and Spatial Reasoning in {BDI} Agents: {A} Survey
2024 Ferrando, Angelo; Gatti, Andrea; Mascardi, Viviana
Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa
2022 Ferrando, A.; Malvone, V.
Global Types for Agent Interaction Protocols (short paper)
2024 Bergenti, F.; Galliera, L.; Giannini, P.; Monica, S.; Nazzari, R.
Hands-on VITAMIN: A Compositional Tool for Model Checking of Multi-Agent Systems
2024 Ferrando, Angelo; Malvone, Vadim
Hardening Machine Learning based Network Intrusion Detection Systems with Synthetic NetFlows
2024 Venturi, A.; Galli, D.; Stabili, D.; Marchetti, M.
Heterogeneous Encoders Scaling in the Transformer for Neural Machine Translation
2023 Hu, JIA CHENG; Cavicchioli, R.; Berardinelli, G.; Capotondi, A.
High-level visualization over big linked data
2018 Po, Laura; Malvezzi, Davide
How (Not) to Index Order Revealing Encrypted Databases
2023 Ferretti, L.; Trabucco, M.; Andreolini, M.; Marchetti, M.
How to aggregate lesson observation data into learning analytics dataset?
2017 Eradze, M.; Jesus, M.; Laanpere, M.
How Transformers Are Revolutionizing Entity Matching
2024 Paganelli, M.; Tiano, D.; Del Buono, F.; Baraldi, A.; Benassi, R.; Guiduzzi, G.; Guerra, F.
Identification of disease symptoms in multilingual sentences: An ontology-driven approach
2016 Ferrando, Angelo; Beux, Silvio; Mascardi, Viviana; Rosso, Paolo
Improving Semantic Awareness of Knowledge-based Applications through Structural Disambiguation
2005 Mandreoli, Federica; Martoglia, Riccardo; E., Ronchetti
An incremental method for meaning elicitation of a domain ontology
2006 Bergamaschi, Sonia; P., Bouquet; D., Giacomuzzi; Guerra, Francesco; Po, Laura; Vincini, Maurizio
Integrating Procedural Ontologies in VEsNA: Study, Requirements, and Preliminary Design
2024 Ivan, Diana; Ferrando, Angelo; Gatti, Andrea; Guerrini, Giovanna; Mascardi, Viviana
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| FashionSearch++: Improving Consumer-to-Shop Clothes Retrieval with Hard Negatives | 1-gen-2021 | Morelli, Davide; Cornia, Marcella; Cucchiara, Rita | |
| A Framework for Automating Security Assessments with Deductive Reasoning | 1-gen-2023 | Andreolini, M.; Artioli, A.; Ferretti, L.; Marchetti, M.; Colajanni, M.; Righi, C. | |
| From service-oriented architectures to nature-inspired pervasive service ecosystems | 1-gen-2010 | Zambonelli, F.; Viroli, M. | |
| From the Blockchain to Logic Programming and Back: Research Perspectives | 1-gen-2018 | Ciatto, Giovanni; Calegari, Roberta; Mariani, Stefano; Denti, Enrico; Omicini, Andrea | |
| Game Engines to Model MAS: A Research Roadmap | 1-gen-2016 | Mariani, Stefano; Omicini, Andrea | |
| GDPR privacy policies in CLAUDETTE: Challenges of omission, context and multilingualism | 1-gen-2019 | Liepin, R.; Contissa, G.; Drazewski, K.; Lagioia, F.; Lippi, M.; Micklitz, H. -W.; Palka, P.; Sartor, G.; Torroni, P. | |
| Geometric and Spatial Reasoning in {BDI} Agents: {A} Survey | 1-gen-2024 | Ferrando, Angelo; Gatti, Andrea; Mascardi, Viviana | |
| Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa | 1-gen-2022 | Ferrando, A.; Malvone, V. | |
| Global Types for Agent Interaction Protocols (short paper) | 1-gen-2024 | Bergenti, F.; Galliera, L.; Giannini, P.; Monica, S.; Nazzari, R. | |
| Hands-on VITAMIN: A Compositional Tool for Model Checking of Multi-Agent Systems | 1-gen-2024 | Ferrando, Angelo; Malvone, Vadim | |
| Hardening Machine Learning based Network Intrusion Detection Systems with Synthetic NetFlows | 1-gen-2024 | Venturi, A.; Galli, D.; Stabili, D.; Marchetti, M. | |
| Heterogeneous Encoders Scaling in the Transformer for Neural Machine Translation | 1-gen-2023 | Hu, JIA CHENG; Cavicchioli, R.; Berardinelli, G.; Capotondi, A. | |
| High-level visualization over big linked data | 1-gen-2018 | Po, Laura; Malvezzi, Davide | |
| How (Not) to Index Order Revealing Encrypted Databases | 1-gen-2023 | Ferretti, L.; Trabucco, M.; Andreolini, M.; Marchetti, M. | |
| How to aggregate lesson observation data into learning analytics dataset? | 1-gen-2017 | Eradze, M.; Jesus, M.; Laanpere, M. | |
| How Transformers Are Revolutionizing Entity Matching | 1-gen-2024 | Paganelli, M.; Tiano, D.; Del Buono, F.; Baraldi, A.; Benassi, R.; Guiduzzi, G.; Guerra, F. | |
| Identification of disease symptoms in multilingual sentences: An ontology-driven approach | 1-gen-2016 | Ferrando, Angelo; Beux, Silvio; Mascardi, Viviana; Rosso, Paolo | |
| Improving Semantic Awareness of Knowledge-based Applications through Structural Disambiguation | 1-gen-2005 | Mandreoli, Federica; Martoglia, Riccardo; E., Ronchetti | |
| An incremental method for meaning elicitation of a domain ontology | 1-gen-2006 | Bergamaschi, Sonia; P., Bouquet; D., Giacomuzzi; Guerra, Francesco; Po, Laura; Vincini, Maurizio | |
| Integrating Procedural Ontologies in VEsNA: Study, Requirements, and Preliminary Design | 1-gen-2024 | Ivan, Diana; Ferrando, Angelo; Gatti, Andrea; Guerrini, Giovanna; Mascardi, Viviana |
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
