IRIS

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 45 a 64 di 106
Titolo Data di pubblicazione Autore(i) File
The impact of rewriting on coverage constraint satisfaction 1-gen-2021 Accinelli, C.; Catania, B.; Guerrini, G.; Minisi, S.
Introducing the second international competition on computational models of argumentation 1-gen-2016 Gaggl, Sarah Alice; Linsbichler, Thomas; Maratea, Marco; Woltran, Stefan
An IoT-enabled Framework for Context-aware Role-based Access Control 1-gen-2018 Delzanno, Giorgio; Guerrini, Giovanna
Keynote talk: Augmented, adaptive, accessible, and inclusive things 1-gen-2019 Torre, I.
Linguistic and Cultural Competences in Dynamic Possible Worlds 1-gen-2023 Saettone, Lorenza; Fedriga, Riccardo; Micheli, Emanuele
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems 1-gen-2010 Matteo, Baldoni; Cristina, Baroglio; Federico, Bergenti; Boccalatte, Antonio; Elisa, Marengo; Martelli, Maurizio; Mascardi, Viviana; Luca, Padovani; Viviana, Patti; Alessandro, Ricci; Gianfranco, Rossi; Andrea, Santi
messyBIM: Augmenting a Building Information Model with Messy Talk to Improve a Buildings’ Design Process 1-gen-2021 Horvath, Anca-Simona; Vite, Clara; Holten Møller, Naja; Neff, Gina
A Method for Testing Model to Text Transformations 1-gen-2013 Alessandro, Tiso; Reggio, Gianna; Leotta, Maurizio
Multiparty Verbal Interaction between Humans and Artificial Agents 1-gen-2023 Grassi, L.; Recchiuto, C.; Sgorbissa, A.
My mood, a multimedia and multilingual ontology driven MAS: Design and first experiments in the sentiment analysis domain 1-gen-2015 Leotta, Maurizio; Beux, Silvio; Mascardi, Viviana; Briola, Daniela
New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-square 1-gen-2017 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
New in Cocoa-5.2.4 and Cocoalib-0.99600 for SC-square 1-gen-2018 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Palezzato, Elisa
A novel cyber-security framework leveraging programmable capabilities in digital services 1-gen-2020 Repetto, M.; Carrega, A.; Duzha, A.
On the design space of mapreduce ROLLUP aggregates 1-gen-2014 Phan, D. H.; Dell'Amico, M.; Michiardi, P.
On the feasibility of using OWL 2 reasoners in ontology alignment repair problems 1-gen-2015 Solimando, Alessandro; Jimenez Ruiz, Ernesto; Guerrini, Giovanna
On the formalization of decentralized contact tracing protocols 1-gen-2020 Abdulla, P. A.; Atig, M. F.; Delzanno, G.; Montali, M.; Sangnier, A.
On the parameterized verification of abstract models of contact tracing protocols 1-gen-2021 Conchon, S.; Delzanno, G.; Sangnier, A.
On weak truthmaking 1-gen-2019 Guarino, N.; Porello, D.; Guizzardi, G.
An ontological account of the action theory of economic exchanges 1-gen-2020 Porello, D.; Guizzardi, G.; Sales, T. P.; Amaral, G.; Guarino, N.
Ontological foundations for trust management: Extending the reference ontology of trust 1-gen-2021 Amaral, G.; Sales, T. P.; Guizzardi, G.; Porello, D.
Mostrati risultati da 45 a 64 di 106
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