IRIS Institutional Research Information System

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 151 a 170 di 187
Titolo Data di pubblicazione Autore(i) File
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
SeXAI: A Semantic Explainable Artificial Intelligence Framework 1-gen-2020 Donadello, Ivan; Dragoni, Mauro
Shared and Searchable Encrypted Data for Untrusted Servers 1-gen-2008 C., Dong; N., Dulay; Russello, G.
SIMDOMO: A Tool for Long-term Simulations of Ambient-Assisted Living 1-gen-2014 Zancanaro, Massimo; Marchesoni, Michele; Armellin, Giampaolo
SocialLink: Linking DBpedia entities to corresponding Twitter accounts 1-gen-2017 Nechaev, Yaroslav; Corcoglioniti, Francesco; Giuliano, Claudio
Specifying Requirements for Data Collection and Analysis in Data-Driven RE. A Research Preview 1-gen-2021 Astegher, Maurizio; Busetta, Paolo; Perini, Anna; Susi, Angelo
Stigmergy-based modeling to discover urban activity patterns from positioning data 1-gen-2017 Alfeo, Antonio Luca; Cimino, Mario Giovanni; Egidi, Sara; Lepri, Bruno; Pentland, Alex; Vaglini, Gigliola
Stress Modelling Using Transfer Learning in Presence of Scarce Data 1-gen-2015 Hernandez Leal, Pablo; Maxhuni, Alban; Sucar, Enrique; Osmani, Venet; Morales, Eduardo F.; Mayora Ibarra, Oscar Arturo
Structural Semantic Models for Automatic Analysis of Land Use 1-gen-2017 Barlacchi, Gianni; Rossi, Alberto; Lepri, Bruno; Moschitti, A
SVP-Classifier: Single-View Point Cloud Data Classifier with Multi-view Hallucination 1-gen-2022 Saber Mohammadi, Seyed; Wang, Yiming; Taiana, Matteo; Morerio, Pietro; Del Bue, Alessio
Symbolic Model Checking of Relative Safety LTL Properties 1-gen-2024 Bombardelli, Alberto; Cimatti, Alessandro; Tonetta, Stefano; Zamboni, Marco
T-Rex: A Milano Retinex Implementation based on Intensity Thresholding 1-gen-2017 Lecca, Michela; Modena, Carla Maria; Rizzi, Alessandro
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study 1-gen-2017 Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro
Top-down Attention Recurrent VLAD Encoding for Action Recognition in Videos 1-gen-2018 Sudhakaran, Swathikiran; Lanz, Oswald
Towards Automatic Digitalization of Railway Engineering Schematics 1-gen-2023 Stefenon, Stefano Frizzo; Cristoforetti, Marco; Cimatti, Alessandro
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development 1-gen-2024 Koenig, Lukas; Heinzemann, Christian; Griggio, Alberto; Klauck, Michaela; Cimatti, Alessandro; Henze, Franziska; Tonetta, Stefano; Kueperkoch, Stefan; Fassbender, Dennis; Hanselmann, Michael
Tractogram Filtering of Anatomically Non-plausible Fibers with Geometric Deep Learning 1-gen-2020 Astolfi, P.; Verhagen, R.; Petit, L.; Olivetti, E.; Masci, J.; Boscaini, D.; Avesani, P.
Mostrati risultati da 151 a 170 di 187
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