Sfoglia per Serie
Mostrati risultati da 1 a 11 di 11
AI and videogames: a “drosophila” for declarative methods
2022-01-01 Angilica, D.; Ianni, G.; Lisi, F. A.; Pulina, L.
Dataflow-based adaptation framework with coarse-grained reconfigurable accelerators
2018-01-01 Rubattu, C.
Enhancing neural networks through formal verification
2019-01-01 Guidotti, D.
The Ninth QBF Solvers Evaluation–Preliminary Report
2016-01-01 Pulina, Luca
An Ontology-Based Archive for Historical Research
2015-01-01 Giovanni, Adorni; Marco, Maratea; Pandolfo, Laura; Pulina, Luca
Preface
2018-01-01 Palumbo, F.; Pilato, C.; Pulina, L.; Sau, C.
Preface
2019-01-01 Pulina, L.
Repair of convolutional neural networks using convex optimization: Preliminary experiments
2019-01-01 Guidotti, D.; Leofante, F.
STOLE: A Reference Ontology for Historical Research Documents.
2015-01-01 Pandolfo, Laura
Unlocking Historical Insights: Developing a Dataset from Historical Archives
2023-01-01 Pandolfo, L.; Pulina, L.
Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project
2022-01-01 Eramo, R.; Fanni, T.; Guidotti, D.; Pandolfo, L.; Pulina, L.; Zedda, K.
Mostrati risultati da 1 a 11 di 11
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