Sfoglia per Serie
Assessing the Quality of Online Reviews Using Formal Argumentation Theory
2021-01-01 Ceolin, D.; Primiero, G.; Wielemaker, J.; Soprano, M.
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules
2016-01-01 Costantini, Stefania; Formisano, Andrea
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules
2016-01-01 Costantini, Stefania; Formisano, Andrea
Augmenting Datalog ± with Customizable Metalogic Features for Powerful Ontological Reasoning
2019-01-01 Costantini, Stefania; Formisano, Andrea
Automata for branching and layered temporal structures: An investigation into regularities of infinite transition systems
2010-01-01 Puppis, G.
Bringing Attention to Image Anomaly Detection
2022-01-01 de Nardin, Axel; Mishra, Pankaj; Piciarelli, Claudio; Foresti, Gian Luca
Calculating the Mind Change Complexity of Learning Algebraic Structures
2022-01-01 Bazhenov, N.; Cipriani, V.; San Mauro, L.
A Calculus for Attribute-Based Memory Updates
2021-01-01 Miculan, Marino; Pasqua, Michele
Composable Partial Multiparty Session Types
2021-01-01 Stolze, C.; Miculan, M.; Di Gianantonio, P.
Computing Embeddings of Directed Bigraphs
2020-01-01 Chiapperini, A.; Miculan, M.; Peressotti, M.
A Conditional Logical Framework
2008-01-01 Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan
Context and Interference Effects in the Combinations of Natural Concepts
2017-01-01 Aerts, Diederik; Aerts, Jonito; Beltran, Lester; Distrito, Isaac; Sassoli de Bianchi, Massimiliano; Sozzo, Sandro; Veloz, Tomas
Crowdsourcing truthfulness: The impact of judgment scale and assessor bias
2020-01-01 La Barbera, D.; Roitero, K.; Demartini, G.; Mizzaro, S.; Spina, D.
Data Augmentation Techniques for the Video Question Answering Task
2020-01-01 Falcon, A.; Lanz, O.; Serra, G.
Decidability of interval temporal logics over split-frames via granularity
2002-01-01 Montanari, A.; Sciavicco, G.; Vitacolonna, N.
Deep Cyclic Generative Adversarial Residual Convolutional Networks for Real Image Super-Resolution
2020-01-01 Umer, R. M.; Micheloni, C.
Deep neural networks for real-time remote fall detection
2021-01-01 Apicella, A.; Snidaro, L.
Depthobj: A synthetic dataset for 3d mesh model retrieval
2021-01-01 Carrabino, F.; Snidaro, L.
Directed Graph Encoding in Quantum Computing Supporting Edge-Failures
2022-01-01 Della Giustina, D.; Piazza, C.; Riccardi, B.; Romanello, R.
Efficient interaction with virtual worlds over IP
2001-01-01 Bernardini, Riccardo
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