Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
Counter-Example Guided Abstract Refinement for Verification of Neural Networks
2022-01-01 Demarchi, S.; Guidotti, D.
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
On the interoperability of capture devices in fingerprint presentation attacks detection
2017-01-01 Ghiani, L.; Mura, V.; Tuveri, P.; Marcialis, G. L.
An Ontology-Based Archive for Historical Research
2015-01-01 Giovanni, Adorni; Marco, Maratea; Pandolfo, Laura; Pulina, Luca
Preface
2019-01-01 Pulina, L.
Preface
2018-01-01 Palumbo, F.; Pilato, C.; Pulina, L.; Sau, C.
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 for Safety and Security-critical Domains
2022-01-01 Guidotti, D.
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.
The WOW Project: Bridging AI and Cultural Heritage for Actress Writings
2023-01-01 Pandolfo, L.; Cardone, L.; Cutzu, L.; Perna, R.; Seligardi, B.; Simi, G.
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