Sfoglia per Serie  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 51 a 70 di 161
Titolo Data di pubblicazione Autore(i) File
Evaluating Trainees in Large Cyber Exercises 1-gen-2024 Artioli, A.; Andreolini, M.; Ferretti, L.; Marchetti, M.
Experiments on robust indoor localization of mobile devices using interval arithmetic 1-gen-2019 Monica, S.; Bergenti, F.
Explaining potentially unfair clauses to the consumer with the claudette tool 1-gen-2020 Liepina, R.; Ruggeri, F.; Lagioia, F.; Lippi, M.; Drazewski, K.; Torroni, P.
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps 1-gen-2022 Ancona, D.; Ferrando, A.; Mascardi, V.
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.
Mostrati risultati da 51 a 70 di 161
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