Sfoglia per Serie
Implementing cantor’s paradise
2016-01-01 Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan
In-depth analysis of non-deterministic aspects of human-machine interaction and update of dedicated functional mock-ups.
2014-01-01 Filippi, Stefano; Barattin, Daniela
An in-depth investigation of interval temporal logic model checking with regular expressions
2017-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)
2014-01-01 M., Alpuente; Ballis, Demis; F., Frechina; J., Sapiña
Instructing equational set-reasoning with otter
2001-01-01 Formisano, A.; Omodeo, E. G.; Temperini, M.
Integrating a framework for discovering alternative app stores in a mobile app monitoring platform
2018-01-01 Guarascio, M.; Ritacco, E.; Biondo, D.; Mammoliti, R.; Toma, A.
Interval Temporal Logic Decision Tree Learning
2019-01-01 Brunello, Andrea; Sciavicco, Guido; Eduard Stan, Ionel
Investigating synergies between interaction design methods
2015-01-01 Filippi, Stefano; Barattin, Daniela; Silva, Paula Alexandra
Is ImageNet Always the Best Option? An Overview on Transfer Learning Strategies for Document Layout Analysis
2024-01-01 De Nardin, A.; Zottin, S.; Colombi, E.; Piciarelli, C.; Foresti, G. L.
A Language-Based Solution to Enable Metaverse Retrieval
2024-01-01 Abdari, A.; Falcon, A.; Serra, G.
LaxF: Side Conditions and External Evidence as Monads
2014-01-01 Honsell, Furio; L., Liquori; Scagnetto, Ivan
LBKENet:Lightweight Blur Kernel Estimation Network for Blind Image Super-Resolution
2023-01-01 Khan, A. H.; Umer, R. M.; Dunnhofer, M.; Micheloni, C.; Martinel, N.
Learning rules for semantic video event annotation
2008-01-01 Bertini, M.; Del Bimbo, A.; Serra, Giuseppe
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
2008-01-01 Miculan, Marino; Scagnetto, Ivan; Honsell, Furio
LieToMe: An LSTM-Based Method for Deception Detection by Hand Movements
2023-01-01 Avola, D.; Cinque, L.; De Marsico, M.; Di Mambro, A.; Fagioli, A.; Foresti, G. L.; Lanzino, R.; Scarcello, F.
Lifting 2D object detections to 3D: A geometric approach in multiple views
2017-01-01 Rubino, Cosimo; Fusiello, Andrea; Del Bue, Alessio
Local Search for Constrained Financial Portfolio Selection Problems with Short Sellings
2011-01-01 DI GASPERO, Luca; Giacomo Di, Tollo; Andrea, Roli; Schaerf, Andrea
Local Search for Integrated Predictive Maintenance and Scheduling in Flow-Shop
2023-01-01 Ecoretti, A.; Ceschia, S.; Schaerf, A.
Meaning–Focused and Quantum–Inspired Information Retrieval
2014-01-01 Aerts, Diederik; Broekaert, Jan; Sozzo, Sandro; Veloz, Tomas
Measurability and reproducibility in timetabling research: State-of-the-art and discussion (invited paper)
2006-01-01 Schaerf, Andrea; DI GASPERO, Luca
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