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 79 a 98 di 184
Titolo Data di pubblicazione Autore(i) File
Image Analysis and Processing – ICIAP 2019. 20th International Conference, Trento, Italy, September 9–13, 2019, Proceedings, Part I 1-gen-2019 Ricci, Elisa; Rota Bulò, Samuel; Snoek, Cees; Lanz, Oswald; Messelodi, Stefano; Sebe, Nicu
Image-to-Voxel Model Translation with Conditional Adversarial Networks 1-gen-2018 Knyaz, V. A.; Knyaz, V. V.; Remondino, F.
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 1-gen-2021 Mover, Sergio; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Tonetta, Stefano
Improving FREAK Descriptor for Image Classification 1-gen-2015 Hilario Gomez, Cristina; Medathati, Kartheek; Kornprobst, Pierre; Murino, Vittorio; Sona, Diego
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 1-gen-2017 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Incremental Control Dependency Frontier Exploration for Many-Criteria Test Case Generation 1-gen-2018 Panichella, Annibale; Kifetew, Fitsum Meshesha; Tonella, Paolo
Inference and Validation of Networks 1-gen-2009 Flaounas, Ilias N.; Turchi, Marco; De Bie, Tijl; Cristianini, Nello
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 1-gen-2016 Jakub, Daniel; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio
Information Extraction for Learning Expressive Ontologies 1-gen-2015 Petrucci, Giulio
Integrating a Pentesting Tool for IdM Protocols in a Continuous Delivery Pipeline 1-gen-2021 Bisegna, Andrea; Carbone, Roberto; Ranise, Silvio
Interactive Comic-Based Digital Storytelling for Self-expression 1-gen-2018 Rutta, Carolina Beniamina; Schiavo, Gianluca; Zancanaro, Massimo
Interactive Digital Storytelling and Self-expression in the Context of Young Male Migrants 1-gen-2018 Rutta, Carolina Beniamina; Schiavo, Gianluca; Zancanaro, Massimo
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 1-gen-2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Intra and Inter-case Features in Predictive Process Monitoring: A Tale of Two Dimensions 1-gen-2017 Senderovich, Arik; Di Francescomarino, Chiara; Ghidini, Chiara; Jorbina, Kerwin; Maggi, Fabrizio Maria
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 1-gen-2017 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
The invisible power of fairness. How machine learning shapes democracy 1-gen-2019 Beretta, Elena; Santangelo, Antonio; Lepri, Bruno; Vetrò, Antonio; Carlos De Martin:, Juan
Kernel-Based Analysis of Functional Brain Connectivity on Grassmann Manifold 1-gen-2015 Dodero, Luca; Sambataro, Fabio; Murino, Vittorio; Sona, Diego
Key-concept Extraction for Ontology Engineering 1-gen-2012 Rospocher, Marco; Tonelli, Sara; Serafini, Luciano; Pianta, Emanuele
Knowledge Enhanced Neural Networks 1-gen-2019 Daniele, Alessandro; Serafini, Luciano
Knowledge Enhanced Neural Networks for Relational Domains 1-gen-2023 Daniele, Alessandro; Serafini, Luciano
Mostrati risultati da 79 a 98 di 184
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