IRIS Institutional Research Information System

4.1 Contributo in Atti di convegno: [7922] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 541 a 560 di 7.922
Titolo Data di pubblicazione Autore(i) File
Retrieval-enriched zero-shot image classification in low-resource domains 1-gen-2024 Dall'Asen, Nicola; Wang, Yiming; Fini, Enrico; Ricci, Elisa
SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability 1-gen-2024 Sumic, Ajdin; Cimatti, Alessandro; Micheli, Andrea; Vidal, Thierry
Lost and Found: Overcoming Detector Failures in Online Multi-object Tracking 1-gen-2024 Vaquero, Lorenzo; Yihong, Xu; Alameda-Pineda, Xavier; Brea, Víctor M.; Mucientes, Manuel
Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning 1-gen-2024 Sumic, Ajdin; Vidal, Thierry; Micheli, Andrea; Cimatti, Alessandro
Architectural Modeling and Experimental Characterization of SPAD-based Imager developed for Fast-Quantum Ghost Imaging Applications 1-gen-2025 Manuzzato, Enrico; Gandola, Massimo; Perenzoni, Matteo; Gasparini, Leonardo; Passerone, Roberto
UVMap-ID: A Controllable and Personalized UV Map Generative Model 1-gen-2024 Wang, Weijie; Zhang, Jichao; Liu, Chang; Li, Xia; Xu, Xingqian; Shi, Humphrey; Sebe, Nicu; Lepri, Bruno
Coercion-resistant i-voting with short PIN and OAuth 2.0 1-gen-2024 Bitussi, Matteo; Longo, Riccardo; Antonio Marino, Francesco; Morelli, Umberto; Sharif, Amir; Spadafora, Chiara; Tomasi, Alessandro
Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability 1-gen-2024 Cimatti, Alessandro; Moller Grosen, Thomas; Larsen, Kim G.; Tonetta, Stefano; Zimmermann, Martin
RF-MEMS as a Key Enabling Technology in the Road to 6G, Future Networks and Tactile Internet 1-gen-2025 Iannacci, J.; Tagliapietra, G.
LDASR: An Experimental Study on Layer Drop Using Conformer-Based Architecture 1-gen-2024 Hannan, Abdul; Brutti, Alessio; Falavigna, Daniele
Mind the error! detection and localization of instruction errors in vision-and-language navigation 1-gen-2024 Taioli, Francesco; Rosa, Stefano; Castellini, Alberto; Natale, Lorenzo; Del Bue, Alessio; Farinelli, Alessandro; Cristani, Marco; Wang, Yiming
AI-assisted Design of UAV Docking Station Network for Dual Use Purposes 1-gen-2024 Avi, Arrigo; Quaranta, Giuseppe; Valentini, Alessandro
Parameter-Efficient Transfer Learning of Audio Spectrogram Transformers 1-gen-2024 Cappellazzo, Umberto; Falavigna, Daniele; Brutti, Alessio; Ravanelli, Mirco
Model-Based Testing of Railway Interlocking Systems 1-gen-2024 Cimatti, Alessandro; Khandaker, Shaker; Kifetew, Fitsum; Leone, Lorenzo; Prandi, Davide; Scaglione, Giuseppe; Susi, Angelo; Turboli, Orazio
Stability Verification of an Industrial Switched PI Control Systems 1-gen-2024 Basagiannis, Stylianos; Battista, Ludovico; Becchi, Anna; Cimatti, Alessandro; Giantamidis, Georgios; Mover, Sergio; Tacchella, Alberto; Tonetta, Stefano; Tsachouridis, Vassilios
Formal Verification of Stability for Parametric affine Switched Systems 1-gen-2024 Battista, Ludovico; Tonetta, Stefano
A Switching Event-Triggered Model Predictive Control for HVAC Systems 1-gen-2024 Sharifzadeh, Mojtaba; Beirami, Hani; Bonafini, Federico; Campidelli, Matteo; Cavada, Roberto; Cimatti, Alessandro; Tonetta, Stefano
Demo: Cloud-native Cyber Deception with Decepto 1-gen-2024 Santoro, Daniele; Zambianco, Marco; Facchinetti, Claudio; Siracusa, Domenico
On the Key-Role of EM Skins in Building a Smart Electromagnetic Environment 1-gen-2022 Massa, A.; Lorenzelli, L.; Oliveri, G.; Rocca, P.; Salucci, M.
Towards the Formal Analysis of Algorithmic Requirements 1-gen-2024 Cappelletti, Lorenzo; Cavada, Roberto; Cimatti, Alessandro; Keppel, Marco
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 541 a 560 di 7.922
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

Scopri
Tipologia
  • 4 Contributo in Atti di Convegno ...7921
Autore
  • Cimatti, Alessandro261
  • Remondino, Fabio250
  • Margesin, Benno203
  • Negri, Matteo203
  • Serafini, Luciano202
  • Lorenzelli, Leandro191
  • Magnini, Bernardo176
  • Federico, Marcello172
  • Tonella, Paolo172
  • Strapparava, Carlo169
Data di pubblicazione
  • In corso di stampa5
  • 2020 - 20261542
  • 2010 - 20193439
  • 2000 - 20092320
  • 1990 - 1999567
  • 1980 - 198948
Editore
  • IEEE620
  • Springer357
  • ACM148
  • Association for Computational Lin...91
  • CEUR-WS.org72
  • IEEE Computer Society61
  • SPIE60
  • ACL38
  • AAAI Press37
  • ieee31
Rivista
  • INTERNATIONAL ARCHIVES OF THE PHO...92
  • LECTURE NOTES IN COMPUTER SCIENCE41
  • POS PROCEEDINGS OF SCIENCE22
  • JOURNAL OF PHYSICS. CONFERENCE SE...21
  • PROCEEDINGS OF SPIE, THE INTERNAT...17
  • PROCEEDINGS14
  • CEUR WORKSHOP PROCEEDINGS13
  • THE INTERNATIONAL ARCHIVES OF THE...12
  • EPJ WEB OF CONFERENCES10
  • LECTURE NOTES IN ARTIFICIAL INTEL...9
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE230
  • LECTURE NOTES IN ARTIFICIAL INTEL...48
  • CEUR WORKSHOP PROCEEDINGS38
  • PROCEEDINGS OF SPIE, THE INTERNAT...25
  • LECTURE NOTES IN COMPUTER SCIENCE22
  • LECTURE NOTES IN ELECTRICAL ENGIN...20
  • LECTURE NOTES IN ELECTRICAL ENGIN...17
  • LECTURE NOTES IN BUSINESS INFORMA...16
  • IEEE ENGINEERING IN MEDICINE AND ...11
  • PROCEEDINGS OF SPIE10
Keyword
  • NLP41
  • automatic speech recognition38
  • Content Processing33
  • MEMS31
  • RF-MEMS31
  • silicon radiation detectors28
  • SiPM26
  • RF MEMS25
  • machine translation23
  • Machine Translation22
Lingua
  • eng6417
  • ita159
  • ger15
  • spa6
  • fre5
  • enm4
  • cze1
  • lat1
  • rum1
Accesso al fulltext
  • no fulltext6827
  • open476
  • restricted450
  • reserved165
  • partially open2
  • mixed1