Sfoglia per Serie LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Take a deep breath: A stealthy, resilient and cost-effective botnet using skype
2010-01-01 Nappa, A.; Fattori, A.; Balduzzi, M.; Dell'Amico, M.; Cavallaro, L.
Talking in Italian About AI with a Chatbot: A Prototype of a Question-Answering Agent
2020-01-01 Leoni, C.; Coccoli, M.; Torre, I.; Vercelli, G.
Task planning with OMT: An application to production logistics
2018-01-01 Leofante, F.; Abraham, E.; Tacchella, A.
Testing a learn-verify-repair approach for safe human-robot interaction
2015-01-01 Pathak, Shashank; Pulina, Luca; Tacchella, Armando
Topological Operators on Cell Complexes in Arbitrary Dimensions
2012-01-01 Comic, Lidija; DE FLORIANI, Leila
Towards a Holistic Method for Business Process Analytics
2017-01-01 Reggio, Gianna; Leotta, Maurizio; Ricca, Filippo; Astesiano, Egidio
Towards a logic of epistemic theory of measurement
2019-01-01 Masolo, C.; Porello, D.
Towards a reality-enhanced serious game to promote eco-driving in the wild
2019-01-01 Massoud, R.; Bellotti, F.; Poslad, S.; Berta, R.; De Gloria, A.
Towards a reference ontology of trust
2019-01-01 Amaral, G.; Sales, T. P.; Guizzardi, G.; Porello, D.
Towards a runtime verification approach for internet of things systems
2018-01-01 Leotta, Maurizio; Ancona, Davide; Franceschini, Luca; Olianas, Dario; Ribaudo, Marina; Ricca, Filippo
Towards a theoretical framework for learning multi-modal patterns for embodied agents
2009-01-01 Noceti, Nicoletta; B., Caputo; C., Castellini; L., Baldassarre; Barla, Annalisa; Rosasco, Lorenzo; Odone, Francesca; Sandini, Giulio
Towards Relaxed Selection and Join Queries over Data Streams
2012-01-01 Catania, Barbara; Guerrini, Giovanna; M. T., Pinto; Podesta', Paola
Towards the identification of propaedeutic relations in textbooks
2019-01-01 Adorni, G.; Alzetta, C.; Koceva, F.; Passalacqua, S.; Torre, I.
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings
2008-01-01 Pulina, Luca; Tacchella, Armando
Trust and risk-based access control for privacy preserving threat detection systems
2016-01-01 Metoui, Nadia; Bezzi, Michele; Armando, Alessandro
Uniform Labelled Calculi for Conditional and Counterfactual Logics
2019-01-01 Girlando, M.; Negri, S.; Sbardolini, G.
User preferences for a serious game to improve driving
2019-01-01 Paranthaman, Pratheep Kumar; Bellotti, Francesco; Berta, Riccardo; Dange, Gautam; De Gloria, Alessandro
Vector Field Learning via Spectral Filtering
2010-01-01 Baldassarre, L; Rosasco, Lorenzo; Barla, Annalisa; Verri, Alessandro
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models
2019-01-01 Guidotti, D.; Leofante, Francesco; Pulina, L.; Tacchella, A.
Verifying and validating autonomous systems: Towards an integrated approach
2019-01-01 Ferrando, A.; Dennis, L. A.; Ancona, D.; Fisher, M.; Mascardi, V.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Take a deep breath: A stealthy, resilient and cost-effective botnet using skype | 1-gen-2010 | Nappa, A.; Fattori, A.; Balduzzi, M.; Dell'Amico, M.; Cavallaro, L. | |
| Talking in Italian About AI with a Chatbot: A Prototype of a Question-Answering Agent | 1-gen-2020 | Leoni, C.; Coccoli, M.; Torre, I.; Vercelli, G. | |
| Task planning with OMT: An application to production logistics | 1-gen-2018 | Leofante, F.; Abraham, E.; Tacchella, A. | |
| Testing a learn-verify-repair approach for safe human-robot interaction | 1-gen-2015 | Pathak, Shashank; Pulina, Luca; Tacchella, Armando | |
| Topological Operators on Cell Complexes in Arbitrary Dimensions | 1-gen-2012 | Comic, Lidija; DE FLORIANI, Leila | |
| Towards a Holistic Method for Business Process Analytics | 1-gen-2017 | Reggio, Gianna; Leotta, Maurizio; Ricca, Filippo; Astesiano, Egidio | |
| Towards a logic of epistemic theory of measurement | 1-gen-2019 | Masolo, C.; Porello, D. | |
| Towards a reality-enhanced serious game to promote eco-driving in the wild | 1-gen-2019 | Massoud, R.; Bellotti, F.; Poslad, S.; Berta, R.; De Gloria, A. | |
| Towards a reference ontology of trust | 1-gen-2019 | Amaral, G.; Sales, T. P.; Guizzardi, G.; Porello, D. | |
| Towards a runtime verification approach for internet of things systems | 1-gen-2018 | Leotta, Maurizio; Ancona, Davide; Franceschini, Luca; Olianas, Dario; Ribaudo, Marina; Ricca, Filippo | |
| Towards a theoretical framework for learning multi-modal patterns for embodied agents | 1-gen-2009 | Noceti, Nicoletta; B., Caputo; C., Castellini; L., Baldassarre; Barla, Annalisa; Rosasco, Lorenzo; Odone, Francesca; Sandini, Giulio | |
| Towards Relaxed Selection and Join Queries over Data Streams | 1-gen-2012 | Catania, Barbara; Guerrini, Giovanna; M. T., Pinto; Podesta', Paola | |
| Towards the identification of propaedeutic relations in textbooks | 1-gen-2019 | Adorni, G.; Alzetta, C.; Koceva, F.; Passalacqua, S.; Torre, I. | |
| Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings | 1-gen-2008 | Pulina, Luca; Tacchella, Armando | |
| Trust and risk-based access control for privacy preserving threat detection systems | 1-gen-2016 | Metoui, Nadia; Bezzi, Michele; Armando, Alessandro | |
| Uniform Labelled Calculi for Conditional and Counterfactual Logics | 1-gen-2019 | Girlando, M.; Negri, S.; Sbardolini, G. | |
| User preferences for a serious game to improve driving | 1-gen-2019 | Paranthaman, Pratheep Kumar; Bellotti, Francesco; Berta, Riccardo; Dange, Gautam; De Gloria, Alessandro | |
| Vector Field Learning via Spectral Filtering | 1-gen-2010 | Baldassarre, L; Rosasco, Lorenzo; Barla, Annalisa; Verri, Alessandro | |
| Verification and Repair of Neural Networks: A Progress Report on Convolutional Models | 1-gen-2019 | Guidotti, D.; Leofante, Francesco; Pulina, L.; Tacchella, A. | |
| Verifying and validating autonomous systems: Towards an integrated approach | 1-gen-2019 | Ferrando, A.; Dennis, L. A.; Ancona, D.; Fisher, M.; Mascardi, V. |
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