Sfoglia per Serie
On the Model-driven Synthesis of Adaptable Choreographies
2018-01-01 Autili, Marco; DI SALLE, Amleto; Gallo, Francesco; Pompilio, Claudio; Tivoli, Massimo
On the need for a body of knowledge on recommender systems
2021-01-01 Di Rocco, J.; Di Ruscio, D.; Di Sipio, C.; Nguyen, Phuong; Pomo, C.
Position paper: On the role of abductive reasoning in semantic image segmentation
2023-01-01 Rafanelli, A.; Costantini, S.; Omicini, A.
The PredictMed-PoMAS Architecture for Intelligent Patient Monitoring within a Complex Healthcare Ecosystem
2023-01-01 Costantini, S.; Bertoncelli, C.; Bertoncelli, D.; De Meo, P.; Falcone, R.; Persia, F.; Rossi, S.
Preface
2017-01-01 Eramo, R.; Johnson, M.
Preference Management in Epistemic Logic L-DINF
2023-01-01 Costantini, S.; Formisano, A.; Pitoni, V.
Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015)
2015-01-01 Autili, Marco; Ritter, T; Sadovykh, A; Tivoli, Massimo
A Rapid Review on Serious Games for Cybersecurity Education: Are “Serious” and Gaming Aspects Well Balanced?
2023-01-01 Calvano, M.; Caruso, F.; Curci, A.; Piccinno, A.; Rossano, V.
Reasoning about memory management in resource-bounded agents
2019-01-01 Costantini, S.; Pitoni, V.
Recommendation of multimedia objects for social network applications
2014-01-01 Amato, F.; Gargiulo, F.; Moscato, V.; Persia, F.; Picariello, A.
Recommending third-party library updates with LSTM neural networks
2021-01-01 Nguyen, Phuong; Di Rocco, J.; Rubei, R.; Di Sipio, C.; Di Ruscio, D.
Reflection and introspection for humanized intelligent agents
2018-01-01 Costantini, S.; Dyoub, A.; Pitoni, V.
Schelling Games with Continuous Types (short paper)
2023-01-01 Bilo', D.; Bilò, V.; Doring, M.; Lenzner, P.; Molitor, L.; Schmidt, J.
A Smart Health Assistant via DALI Logical Agents
2021-01-01 Costantini, S.; De Lauretis, L.; Ferri, C.; Giancola, J.; Persia, F.
STAF 2019 Co-Located Events Proceedings JRCE, MDE@DeRun and RPS - Welcome words from the editors
2019-01-01 Bagnato, A.; Bruneliere, H.; Burgueno, L.; Eramo, R.; Gomez, A.
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams
2014-01-01 Autili, Marco; DI RUSCIO, Davide; DI SALLE, Amleto; Inverardi, Paola
Temporalizing Epistemic Logic L-DINF
2022-01-01 Costantini, S.; Formisano, A.; Pitoni, V.
Time out of joint in temporal annotations of texts: Challenges for artificial intelligence and human computer interaction
2017-01-01 Gennari, R.; Vittorini, P.
A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents
2023-01-01 Costantini, S.; Formisano, A.; Pitoni, V.
Tool-support of socio-technical coordination in the context of heterogeneous modeling
2018-01-01 Bordeleau, Francis; Van Den Brand, Mark; Combemale, Benoit; Eramo, Romina; Wimmer, Manuel
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