Sfoglia per Serie
An Epistemic Logic for Modular Development of Multi-Agent Systems
2022-01-01 Costantini, S.; Formisano, A.; Pitoni, V.
An Epistemic Logic for Multi-agent Systems with Budget and Costs
2021-01-01 Costantini, S.; Formisano, A.; Pitoni, V.
Experiencing Contemporary Art at a Distance
2021-01-01 Barricelli, B. R.; Varesano, A.; Carbi, G.; Clemmensen, T.; Foresti, G. L.; Nocera, J. A.; Ciric, M.; vander Veer, G.; Pittarello, F.; Nunes, N. J.; Bollini, L.; Verdeil, A.
Exploiting the meCUE Questionnaire to Enhance an Existing UX Evaluation Method Based on Mental Models
2019-01-01 Filippi, Stefano; Barattin, Daniela
An Exploration of Target-Conditioned Segmentation Methods for Visual Object Trackers
2020-01-01 Dunnhofer, M.; Martinel, N.; Micheloni, C.
$$ extsf ACUOS^mathbf 2$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance
2019-01-01 Alpuente, M.; Ballis, D.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J.
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis
2021-01-01 Cimatti, A.; Geatti, L.; Gigante, N.; Montanari, A.; Tonetta, S.
GPU-Based Parallelism for ASP-Solving
2020-01-01 Dovier, A.; Formisano, A.; Vella, F.
Haplotyping as perfect phylogeny
2004-01-01 Bafna, V.; Gusfield, D.; Lancia, G.; Yooseph, S.
Image Anomaly Detection by Aggregating Deep Pyramidal Representations
2021-01-01 Mishra, P.; Piciarelli, C.; Foresti, G. L.
Image Anomaly Detection with Capsule Networks and Imbalanced Datasets
2019-01-01 Piciarelli, Claudio; Mishra, Pankaj; Foresti, Gian Luca
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic
2012-01-01 DELLA MONICA, D; Montanari, Angelo; Sala, P.
Investigating the Potential of Data from an Academic Social Network (GPS)
2020-01-01 Marques, J. L.; Bressan, G.; Santos, C.; Pedro, L.; Marcal, D.; Raposo, R.
Learning the reasons why groups of consumers prefer some food products
2006-01-01 DEL COZ, J. J.; Diez, J; Bahamonde, A; Sanudo, C; Alfonso, M; Berge, P; Dransfield, E; Stamataris, C; Zygoyiannis, D; Valdimarsdottir, T; Piasentier, Edi; Nute, G; Fisher, A.
Local Search and Constraint Programming for a Real-World Examination Timetabling Problem
2020-01-01 Battistutta, M.; Ceschia, S.; De Cesco, F.; Di Gaspero, L.; Schaerf, A.; Topan, E.
Master and Rookie Networks for Person Re-identification
2019-01-01 Avola, D.; Cascio, M.; Cinque, L.; Fagioli, A.; Foresti, G. L.; Massaroni, C.
Mirrors and Memory in Quantum Automata
2022-01-01 Piazza, C.; Romanello, R.
Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies
2021-01-01 Fabiano, F.; Burigana, A.; Dovier, A.; Pontelli, E.; Son, T. C.
A new criterion for M,N-adhesivity, with an application to hierarchical graphs
2022-01-01 Castelnovo, D.; Gadducci, F.; Miculan, M.
A Novel Decision Tree Approach for the Handling of Time Series
2018-01-01 Brunello, Andrea; Marzano, Enrico; Montanari, Angelo; Sciavicco, Guido
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
An Epistemic Logic for Modular Development of Multi-Agent Systems | 1-gen-2022 | Costantini, S.; Formisano, A.; Pitoni, V. | |
An Epistemic Logic for Multi-agent Systems with Budget and Costs | 1-gen-2021 | Costantini, S.; Formisano, A.; Pitoni, V. | |
Experiencing Contemporary Art at a Distance | 1-gen-2021 | Barricelli, B. R.; Varesano, A.; Carbi, G.; Clemmensen, T.; Foresti, G. L.; Nocera, J. A.; Ciric, M.; vander Veer, G.; Pittarello, F.; Nunes, N. J.; Bollini, L.; Verdeil, A. | |
Exploiting the meCUE Questionnaire to Enhance an Existing UX Evaluation Method Based on Mental Models | 1-gen-2019 | Filippi, Stefano; Barattin, Daniela | |
An Exploration of Target-Conditioned Segmentation Methods for Visual Object Trackers | 1-gen-2020 | Dunnhofer, M.; Martinel, N.; Micheloni, C. | |
$$ extsf ACUOS^mathbf 2$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance | 1-gen-2019 | Alpuente, M.; Ballis, D.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J. | |
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis | 1-gen-2021 | Cimatti, A.; Geatti, L.; Gigante, N.; Montanari, A.; Tonetta, S. | |
GPU-Based Parallelism for ASP-Solving | 1-gen-2020 | Dovier, A.; Formisano, A.; Vella, F. | |
Haplotyping as perfect phylogeny | 1-gen-2004 | Bafna, V.; Gusfield, D.; Lancia, G.; Yooseph, S. | |
Image Anomaly Detection by Aggregating Deep Pyramidal Representations | 1-gen-2021 | Mishra, P.; Piciarelli, C.; Foresti, G. L. | |
Image Anomaly Detection with Capsule Networks and Imbalanced Datasets | 1-gen-2019 | Piciarelli, Claudio; Mishra, Pankaj; Foresti, Gian Luca | |
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic | 1-gen-2012 | DELLA MONICA, D; Montanari, Angelo; Sala, P. | |
Investigating the Potential of Data from an Academic Social Network (GPS) | 1-gen-2020 | Marques, J. L.; Bressan, G.; Santos, C.; Pedro, L.; Marcal, D.; Raposo, R. | |
Learning the reasons why groups of consumers prefer some food products | 1-gen-2006 | DEL COZ, J. J.; Diez, J; Bahamonde, A; Sanudo, C; Alfonso, M; Berge, P; Dransfield, E; Stamataris, C; Zygoyiannis, D; Valdimarsdottir, T; Piasentier, Edi; Nute, G; Fisher, A. | |
Local Search and Constraint Programming for a Real-World Examination Timetabling Problem | 1-gen-2020 | Battistutta, M.; Ceschia, S.; De Cesco, F.; Di Gaspero, L.; Schaerf, A.; Topan, E. | |
Master and Rookie Networks for Person Re-identification | 1-gen-2019 | Avola, D.; Cascio, M.; Cinque, L.; Fagioli, A.; Foresti, G. L.; Massaroni, C. | |
Mirrors and Memory in Quantum Automata | 1-gen-2022 | Piazza, C.; Romanello, R. | |
Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies | 1-gen-2021 | Fabiano, F.; Burigana, A.; Dovier, A.; Pontelli, E.; Son, T. C. | |
A new criterion for M,N-adhesivity, with an application to hierarchical graphs | 1-gen-2022 | Castelnovo, D.; Gadducci, F.; Miculan, M. | |
A Novel Decision Tree Approach for the Handling of Time Series | 1-gen-2018 | Brunello, Andrea; Marzano, Enrico; Montanari, Angelo; Sciavicco, Guido |
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