Sfoglia per Serie
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas
2009-01-01 Pulina, Luca; Tacchella, Armando
Leveraging Acoustic Images for Effective Self-supervised Audio Representation Learning
2020-01-01 Sanguineti, V.; Morerio, P.; Pozzetti, N.; Greco, D.; Cristani, M.; Murino, V.
Lfc: Combining autonomous agents and automated planning in the multi-agent programming contest
2020-01-01 Cardoso, R. C.; Ferrando, A.; Papacchini, F.
Local Holism
2001-01-01 Penco, Carlo
Managing bad AIPs with RIVERtools
2018-01-01 Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana
Marine safety and data analytics: Vessel crash stop maneuvering performance prediction
2017-01-01 Oneto, L.; Coraddu, A.; Sanetti, Paolo; Karpenko, O.; Cipollini, F.; Cleophas, T.; Anguita, D.
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest
2021-01-01 Cardoso, R. C.; Ferrando, A.; Papacchini, F.; Luckcuck, M.; Linker, S.; Payne, T. R.
MobHide: App-level runtime data anonymization on mobile
2020-01-01 Caputo, D.; Verderame, L.; Merlo, A.
Modeling and Inference of Spatio-Temporal Protein Dynamics Across Brain Networks
2019-01-01 Garbarino, S.; Lorenzi, M.
Modeling and Manipulating Cell Complexes in Two, Three and Higher Dimensions
2012-01-01 L., Čomić; DE FLORIANI, Leila
Modeling and Simplifying Morse Complexes in Arbitrary Dimensions
2011-01-01 Comic, Lidija; DE FLORIANI, Leila
Modeling and Using Context - 10th International and interdisciplinary Conference, CONTEX 2017, Paris, France, June 20-23, 2017, proceedings
2017-01-01 Penco, Carlo; Brezillon, Patrick; Turner, Roy
Modelling and Optimization of the Air Operational Manoeuvre
2019-01-01 Bruzzone, A. G.; Prochazka, J.; Kutej, L.; Prochazka, D.; Kozubek, J.; Scurek, R.
Monotone Literals and Learning in QBF Reasoning
2004-01-01 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
The Multi-Engine ASP Solver ME-ASP
2012-01-01 Maratea, Marco; Pulina, Luca; Ricca, Francesco
Multi-level Algorithm Selection for ASP.
2015-01-01 Maratea, Marco; Pulina, Luca; Ricca, Francesco
Multi-resolution Cell Complexes Based on Homology-Preserving Euler Operators
2013-01-01 Comic, Lidija; DE FLORIANI, Leila; Iuricich, Federico
Multiple classifier systems for adversarial classification task (Lecture Notes in Computer Science (2009) 5519, (132141))
2010-01-01 Biggio, B.; Fumera, G.; Roli, F.
A Novel Information Fusion Approach for Supporting Shadow Detection in Dynamic Environments
2015-01-01 Cuzzocrea, Alfredo; Mumolo, Enzo; Moro, Alessandro; Umeda, Kazunori; Vercelli, Gianni
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
2002-01-01 Cimatti, A; Clarke, E; Giunchiglia, Enrico; Giunchiglia, F; Pistore, M; Roveri, M; Sebastiani, R; Tacchella, Armando
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas | 1-gen-2009 | Pulina, Luca; Tacchella, Armando | |
| Leveraging Acoustic Images for Effective Self-supervised Audio Representation Learning | 1-gen-2020 | Sanguineti, V.; Morerio, P.; Pozzetti, N.; Greco, D.; Cristani, M.; Murino, V. | |
| Lfc: Combining autonomous agents and automated planning in the multi-agent programming contest | 1-gen-2020 | Cardoso, R. C.; Ferrando, A.; Papacchini, F. | |
| Local Holism | 1-gen-2001 | Penco, Carlo | |
| Managing bad AIPs with RIVERtools | 1-gen-2018 | Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana | |
| Marine safety and data analytics: Vessel crash stop maneuvering performance prediction | 1-gen-2017 | Oneto, L.; Coraddu, A.; Sanetti, Paolo; Karpenko, O.; Cipollini, F.; Cleophas, T.; Anguita, D. | |
| MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest | 1-gen-2021 | Cardoso, R. C.; Ferrando, A.; Papacchini, F.; Luckcuck, M.; Linker, S.; Payne, T. R. | |
| MobHide: App-level runtime data anonymization on mobile | 1-gen-2020 | Caputo, D.; Verderame, L.; Merlo, A. | |
| Modeling and Inference of Spatio-Temporal Protein Dynamics Across Brain Networks | 1-gen-2019 | Garbarino, S.; Lorenzi, M. | |
| Modeling and Manipulating Cell Complexes in Two, Three and Higher Dimensions | 1-gen-2012 | L., Čomić; DE FLORIANI, Leila | |
| Modeling and Simplifying Morse Complexes in Arbitrary Dimensions | 1-gen-2011 | Comic, Lidija; DE FLORIANI, Leila | |
| Modeling and Using Context - 10th International and interdisciplinary Conference, CONTEX 2017, Paris, France, June 20-23, 2017, proceedings | 1-gen-2017 | Penco, Carlo; Brezillon, Patrick; Turner, Roy | |
| Modelling and Optimization of the Air Operational Manoeuvre | 1-gen-2019 | Bruzzone, A. G.; Prochazka, J.; Kutej, L.; Prochazka, D.; Kozubek, J.; Scurek, R. | |
| Monotone Literals and Learning in QBF Reasoning | 1-gen-2004 | Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando | |
| The Multi-Engine ASP Solver ME-ASP | 1-gen-2012 | Maratea, Marco; Pulina, Luca; Ricca, Francesco | |
| Multi-level Algorithm Selection for ASP. | 1-gen-2015 | Maratea, Marco; Pulina, Luca; Ricca, Francesco | |
| Multi-resolution Cell Complexes Based on Homology-Preserving Euler Operators | 1-gen-2013 | Comic, Lidija; DE FLORIANI, Leila; Iuricich, Federico | |
| Multiple classifier systems for adversarial classification task (Lecture Notes in Computer Science (2009) 5519, (132141)) | 1-gen-2010 | Biggio, B.; Fumera, G.; Roli, F. | |
| A Novel Information Fusion Approach for Supporting Shadow Detection in Dynamic Environments | 1-gen-2015 | Cuzzocrea, Alfredo; Mumolo, Enzo; Moro, Alessandro; Umeda, Kazunori; Vercelli, Gianni | |
| NuSMV 2: An OpenSource Tool for Symbolic Model Checking | 1-gen-2002 | Cimatti, A; Clarke, E; Giunchiglia, Enrico; Giunchiglia, F; Pistore, M; Roveri, M; Sebastiani, R; Tacchella, Armando |
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