Sfoglia per Serie  CEUR WORKSHOP PROCEEDINGS

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 1 a 20 di 76
Titolo Data di pubblicazione Autore(i) File
A Method for Testing Model to Text Transformations 1-gen-2013 Alessandro, Tiso; Reggio, Gianna; Leotta, Maurizio
Abstract Answer Set Solvers for Cautious Reasoning 1-gen-2015 Brochenin, Remi; Maratea, Marco
Agents, web services and ontologies, integrated methodologies, MALLOW-AWESOME'009 1-gen-2009 Baldoni, Matteo; Baroglio, Cristina; Bentahar, Jamal; Mascardi, Viviana
AI for Zero-Touch Management of Satellite Networks in B5G and 6G Infrastructures 1-gen-2022 Galli, A.; Giardina, P.; Guta, M.; Lossi, L.; Mancina, A.; Moscato, V.; Patrone, F.; Roseti, C.; Romano, S. P.; Sperli, G.; Zampognaro, F.
Are you (Google) home? Detecting users’ presence through traffic analysis of smart speakers 1-gen-2020 Caputo, D.; Verderame, L.; Merlo, A.; Ranieri, A.; Caviglione, L.
Building VECM-based Systems with a Model Driven Approach: an Experience Report 1-gen-2011 Leotta, Maurizio; Reggio, Gianna; Ricca, Filippo; Astesiano, Egidio
Capture the Flag competitions for Higher Education 1-gen-2021 Lagorio, Giovanni; Ribaudo, Marina; Armando, Alessandro
Chemotherapy Treatment Scheduling via Answer Set Programming 1-gen-2020 Dodaro, Carmine; Galata, Giuseppe; Maratea, Marco; Mochi, Marco; Porro, Ivan
CoCoA and CoCoALib: Fast prototyping and flexible C++ library for computations in commutative Algebra 1-gen-2016 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
Coherence, similarity, and concept generalisation 1-gen-2017 Confalonieri, R.; Kutz, O.; Galliani, P.; Penaloza, R.; Porello, D.; Schorlemmer, M.; Troquard, N.
Computing answer sets of a logic program via-enumeration of SAT certificates 1-gen-2003 Lierler, Yuliya; Maratea, Marco
Context Aware Source Selection for Linked Data 1-gen-2018 Catania, Barbara; Guerrini, Giovanna; Yaman, Beyza
Contexts in Philosophy 1-gen-2017 Penco, Carlo; Vignolo, Massimiliano
A core ontology on decision making 1-gen-2020 Guizzardi, R.; Carneiro, B. G.; Porello, D.; Guizzardi, G.
Corecursive featherweight Java revisited 1-gen-2019 Barbieri, P.; Dagnino, F.; Zucca, E.; Ancona, D.
Coverage-based rewriting for data preparation 1-gen-2020 Accinelli, C.; Minisi, S.; Catania, B.
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
An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems 1-gen-2010 Maratea, Marco
Mostrati risultati da 1 a 20 di 76
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