Sfoglia per Serie  

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 52 a 71 di 85
Titolo Data di pubblicazione Autore(i) File
Parameterized verification of publish/subcribe protocols via Infinite-State Model Checking 1-gen-2018 Delzanno, G.
Pink panthers and toothless tigers: Three problems in classification 1-gen-2019 Righetti, G.; Porello, D.; Kutz, O.; Troquard, N.; Masolo, C.
Preface 1-gen-2016 Catania, B.; Engels, G.; Freivalds, R. M.; Spanek, R.
Preface to the proceedings of the demonstrations track of PRIMA 2017 1-gen-2018 Mascardi, Viviana
PRELEARN @ EVALITA 2020: Overview of the prerequisite relation learning task for Italian 1-gen-2020 Alzetta, C.; Miaschi, A.; Dell'Orletta, F.; Koceva, F.; Torre, I.
Prerequisite or Not Prerequisite? That’s the Problem! An NLP-based Approach for Concept Prerequisites Learning 1-gen-2019 Alzetta, Chiara; Alessio, Miaschi; Adorni, Giovanni; Felice, Dell'Orletta; Koceva, Frosina; Passalacqua, Samuele; Torre, Ilaria
PRET: Prerequisite-enriched terminology. A case study on educational texts 1-gen-2018 Alzetta, C.; Koceva, F.; Passalacqua, Samuele; Torre, I.; Adorni, G.
Probabilistic Bounds on Complexity of Networks Computing Binary Classification Tasks 1-gen-2018 Kurkova, Vera; Sanguineti, Marcello
Proceedings of Student Research Forum Papers and Posters at SOFSEM 2016 co-located with 42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2016), Harrachov, Czech Republic, January 23-28, 2016 1-gen-2016 Freivalds, Rusins Martins; Engels, Gregor; Catania, Barbara; Spánek, Roman; Rimnac, Martin
Proceedings of the 3rd Italian Workshop on Artificial Intelligence and Robotics (AIRO 2016) 1-gen-2016 Finzi, Alberto; Farinelli, Alessandro; Mastrogiovanni, Fulvio
Proceedings of the 4th Italian Workshop on Artificial Intelligence and Robotics (AIRO 2017) 1-gen-2017 Anzalone, Salvatore; Farinelli, Alessandro; Finzi, Alberto; Mastrogiovanni, Fulvio
Proceedings of the 5th Italian Workshop on Artificial Intelligence and Robotics (AIRO 2018) 1-gen-2018 Anzalone, Salvatore; Farinelli, Alessandro; Finzi, Alberto; Mastrogiovanni, Fulvio
Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 25-27, 2015. CEUR Workshop Proceedings 1517, CEUR-WS.org 2015 1-gen-2015 Odile, Papini; Salem, Benferhat; Laurent, Garcia; Marie-Laure, Mugnier; Eduardo L., Fermé; Thomas, Meyer; Renata, Wassermann; Torsten, Hahmann; Ken, Baclawski; Adila, Krisnadhi; Pavel, Klinov; Stefano, Borgo; Oliver, Kutz; Porello, D
RIVERtools: An IDE for RuntIme VERification of MASs, and beyond 1-gen-2018 Ferrando, A.
The cost of context repair: Presupposition accomodation 1-gen-2017 Di Paola, Simona; Domaneschi, Filippo
Timed trace expressions 1-gen-2019 Ciccone, L.; Ferrando, A.; Ancona, D.; Mascardi, V.
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. 1-gen-2022 Dodaro, Carmine; Maratea, Marco; Riccio, Francesco
Towards a first-order modal formalisation of the unified foundational ontology 1-gen-2017 Porello, D.; Guizzardi, G.
Towards a reference ontology of money: Monetary objects, currencies and related concepts 1-gen-2020 Amaral, G.; Sales, T. P.; Guizzardi, G.; Porello, D.; Guarino, N.
Towards an ontological core for cognitively justified robots 1-gen-2022 Borgo, S.; Ferrario, R.; Masolo, C.; Porello, D.
Mostrati risultati da 52 a 71 di 85
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