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 20 a 39 di 85
Titolo Data di pubblicazione Autore(i) File
A deterministic event calculus for effective runtime verification 1-gen-2019 Ancona, D.; Franceschini, L.; Ferrando, A.; Mascardi, V.
Digging into prerequisite annotation 1-gen-2020 Alzetta, C.; Galluccio, I.; Koceva, F.; Passalacqua, S.; Torre, I.
Drawing a dog: Cognitive underpinnings 1-gen-2015 Panesi, Sabrina; Rivara, Sergio; Morra, Sergio
Equality of Corecursive Streams Defined by Finitary Equational Systems 1-gen-2022 Ancona, D.; Barbieri, P.; Zucca, E.
An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems 1-gen-2010 Maratea, Marco
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming 1-gen-2005 Giunchiglia, Enrico; Maratea, Marco
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent 1-gen-2013 Gentilini, Paolo; Martelli, Maurizio; Rosolini, Giuseppe
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps 1-gen-2022 Ancona, D.; Ferrando, A.; Mascardi, V.
Facial expressions and speech acts 1-gen-2017 Domaneschi, Filippo; Passarelli, Marcello; Chiorri, Carlo
Flexible coinduction for infinite behaviour 1-gen-2018 Dagnino, F.
FrEX: Extracting Property Expropriation Frame Entities from Real Cases 1-gen-2020 Salvaneschi, Roberto; Muradore, Daniela; Stanchi, Andrea; Mascardi, Viviana
Fuzzy logic for culture-aware robotics 1-gen-2017 Bruno, B.; Mastrogiovanni, F.; Pecora, F.; Saffiotti, A.; Sgorbissa, A.
A GAN-based Approach for Generating Culture-Aware Co-Speech Gestures 1-gen-2022 Gjaci, A.; Recchiuto, C.; Sgorbissa, A.
Identification of disease symptoms in multilingual sentences: An ontology-driven approach 1-gen-2016 Ferrando, Angelo; Beux, Silvio; Mascardi, Viviana; Rosso, Paolo
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.
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
Mostrati risultati da 20 a 39 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