IRIS Institutional Research Information System

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.021 a 1.040 di 7.931
Titolo Data di pubblicazione Autore(i) File
Enhancing Network Intrusion Detection: An Online Methodology for Performance Analysis 1-gen-2023 Magnani, Simone; Doriguzzi Corin, Roberto; Siracusa, Domenico
Creating a Silver Standard for Patent Simplification 1-gen-2023 Casola, Silvia; Lavelli, Alberto; Saggion, Horacio
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
A First Appraisal of Cryptographic Mechanisms for the SelectiveDisclosure of Verifiable Credentials 1-gen-2023 Flamini, Andrea; Ranise, Silvio; Sciarretta, Giada; Scuro, Mario; Sharif, Amir; Tomasi, Alessandro
Assurance, Consent and Access Control for Privacy-Aware OIDC Deployments 1-gen-2023 Sassetti, Gianluca; Sharif, Amir; Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio
Generation-Based Data Augmentation for Offensive Language Detection: Is It Worth It? 1-gen-2023 Casula, Camilla; Tonelli, Sara
Expressive Optimal Temporal Planning via Optimization Modulo Theory 1-gen-2023 Panjkovic, Stefan; Micheli, Andrea
Combining Process Mining and Optimization: A Scheduling Application in Healthcare 1-gen-2023 Di Cunzolo, Matteo; Guastalla, Alberto; Aringhieri, Roberto; Sulis, Emilio; Amantea, Ilaria Angela; Ronzani, Massimiliano; Di Francescomarino, Chiara; Ghidini, Chiara; Fonio, Paolo; Grosso, Marco
Mining for Long-Term Dependencies in Causal Graphs 1-gen-2023 Kourani, Humam; Di Francescomarino, Chiara; Ghidini, Chiara; van der Aalst, Wil; van Zelst, Sebastiaan
Scalable Design Space Exploration for the Synthesis of Redundant Architectures 1-gen-2023 Tierno, Antonio; Turri, Giuliano; Cimatti, Alessandro; Passerone, Roberto
FFT-based filtering approach to fuse photogrammetry and photometric stereo 3D data 1-gen-2023 Karami, A.; Varshosaz, M.; Menna, F.; Remondino, F.; Luhmann, T.
iTelos—Case Studies in Building Domain-Specific Knowledge Graphs 1-gen-2023 Bocca, Simone; Dragoni, Mauro; Giunchiglia, Fausto
Knowledge Enhanced Neural Networks for Relational Domains 1-gen-2023 Daniele, Alessandro; Serafini, Luciano
Logic Tensor Networks for Top-N Recommendation 1-gen-2023 Carraro, Tommaso; Daniele, Alessandro; Aiolli, Fabio; Serafini, Luciano
A Formal IDE for Railways: Research Challenges 1-gen-2023 Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Susi, Angelo
Named Entity Detection and Injection for Direct Speech Translation 1-gen-2023 Gaido, Marco; Tang, Yun; Kulikov, Ilia; Huang, Rongqing; Gong, Hongyu; Inaguma, Hirofumi
Model-based Player Experience Testing with Emotion Pattern Verification 1-gen-2023 Gholizadeh Ansari, Saba; Prasetya, I. S. W. B.; Prandi, Davide; Kifetew, Fitsum Meshesha; Dastani, Mehdi; Dignum, Frank; Keller, Gabriele
Ontology-Mediated Data Migration: Deriving Migration Rules by Reasoning on Schema Descriptions 1-gen-2023 Bozzato, Loris; Serafini, Luciano
EVA: a Tool for the Compositional Verification of AUTOSAR Models 1-gen-2023 Cimatti, Alessandro; Cristoforetti, Luca; Griggio, Alberto; Tonetta, Stefano; Corfini, Sara; Di Natale, Marco; Barrau, Florian
Automatic Calibration for a Mutual Insurance System in a Multi-Player Serious Game 1-gen-2022 Scanagatta, Mauro; Marconi, Annapaola
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.021 a 1.040 di 7.931
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 ...7930
Autore
  • Cimatti, Alessandro261
  • Remondino, Fabio251
  • Margesin, Benno203
  • Negri, Matteo203
  • Serafini, Luciano202
  • Lorenzelli, Leandro191
  • Magnini, Bernardo180
  • Federico, Marcello172
  • Tonella, Paolo172
  • Strapparava, Carlo169
Data di pubblicazione
  • In corso di stampa2
  • 2020 - 20261554
  • 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 SCIENCE23
  • LECTURE NOTES IN ELECTRICAL ENGIN...20
  • LECTURE NOTES IN ELECTRICAL ENGIN...17
  • LECTURE NOTES IN BUSINESS INFORMA...16
  • IEEE ENGINEERING IN MEDICINE AND ...11
  • ISPRS ANNALS OF THE PHOTOGRAMMETR...10
Keyword
  • NLP41
  • automatic speech recognition38
  • Content Processing33
  • MEMS31
  • RF-MEMS31
  • silicon radiation detectors28
  • SiPM26
  • RF MEMS25
  • machine translation23
  • Machine Translation22
Lingua
  • eng6440
  • ita159
  • ger15
  • spa6
  • fre5
  • enm4
  • cze1
  • lat1
  • rum1
Accesso al fulltext
  • no fulltext6816
  • open482
  • restricted464
  • reserved165
  • partially open2
  • mixed1