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 123 a 142 di 187
Titolo Data di pubblicazione Autore(i) File
New Trends in Image Analysis and Processing -- ICIAP 2015 Workshops 1-gen-2015 Vittorio, Murino; Enrico, Puppo; Sona, Diego; Marco, Cristani; Carlo, Sansone
Next generation flexible and cognitive heterogeneous optical networks: Supporting the evolution to the future internet 1-gen-2012 Tomkos, Ioannis; Angelou, Marianna; Durán Barroso, Ramón J.; de Miguel, Ignacio; Lorenzo Toledo, Rubén M.; Siracusa, Domenico; Salvadori, Elio; Tymecki, Andrzej; Ye, Yabin; Tafur Monroy, Idelfonso
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 1-gen-2022 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Ferrando, Andrea; Pilati, Lorenzo; Scaglione, Giuseppe; Tacchella, Alberto; Zamboni, Marco
Novel-View Human Action Synthesis 1-gen-2021 Lakhal, Mohamed Ilyes; Boscaini, Davide; Poiesi, Fabio; Lanz, Oswald; Cavallaro, Andrea
On Image Enhancement for Unsupervised Image Description and Matching 1-gen-2019 Lecca, Michela; Torresani, Alessandro; Remondino, Fabio
On Projectivity in Markov Logic Networks 1-gen-2023 Malhotra, Sagar; Serafini, Luciano
Online Algorithms for Adaptive Optimization in Heterogeneous Delay Tolerant Networks 1-gen-2013 Chahin, W.; De Pellegrini, Francesco; El-Azouzi, Rachid; Azad, Amar P.
An Ontological Framework for Decision Support 1-gen-2012 Rospocher, Marco; Serafini, Luciano
Ontology Learning in the Deep 1-gen-2016 Petrucci, Giulio; Ghidini, Chiara; Rospocher, Marco
An Ontology-Driven Probabilistic Soft Logic Approach to Improve NLP Entity Annotations 1-gen-2018 Rospocher, Marco
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 1-gen-2021 Bigarella, Filippo; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Jonáš, Martin; Roveri, Marco; Sebastiani, Roberto; Trentin, Patrick
OWL: - Experiences and Directions - Reasoner Evaluation - 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers 1-gen-2017 Dragoni, Mauro; Poveda Villalon, Maria; Jimenez Ruiz, Ernesto
Personalized Environmental Service Configuration and Delivery Orchestration: The PESCaDO Demonstrator 1-gen-2015 L., Wanner; Rospocher, Marco; S., Vrochidis; H., Bosch; N., Bouayad Agha; U., Bugel; G., Casamayor; T., Ertl; D., Hilbring; A., Karppinen; I., Kompatsiaris; T., Koskentalo; S., Mille; J., Mossgraber; A., Moumtzidou; M., Myllynen; Pianta, Emanuele; H., Saggion; Serafini, Luciano; V., Tarvainen; Tonelli, Sara
PolEnA: Enforcing Fine-grained Permission Policies in Android 1-gen-2017 Costa, Gabriele; Sinigaglia, Federico; Carbone, Roberto
Predictive Process Monitoring Methods: Which One Suits Me Best? 1-gen-2018 Di Francescomarino, Chiara; Ghidini, Chiara; Maria Maggi, Fabrizio; Milani, Fredrik
Progressive Keypoint Localization and Refinement in Image Matching 1-gen-2024 Bellavia, Fabio; Morelli, Luca; Colombo, Carlo; Remondino, Fabio
Proving the Existence of Fair Paths in Infinite-State Systems 1-gen-2021 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico
Quantum Motion Segmentation 1-gen-2022 Arrigoni, Federica; Menapace, Willi; Benkner, Marcel Seelbach; Ricci, Elisa; Golyanik, Vladislav
Reasoning with Justifiable Exceptions in EL_bot Contextualized Knowledge Repositories 1-gen-2019 Bozzato, Loris; Eiter, Thomas; Serafini, Luciano
Reduced Variable Neighbourhood Search for the Generation of Controlled Circular Data 1-gen-2021 Consoli, Sergio; Perrotta, Domenico; Turchi, Marco
Mostrati risultati da 123 a 142 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