Sfoglia per Serie
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving
2020-01-01 Abate, Alessandro; Cimatti, Alessandro; Micheli, Andrea; Mufid, Muhammad Syifa’ul
A context-based logic for distributed knowledge representation and reasoning
1999-01-01 Ghidini, C.; Serafini, L.
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
2021-01-01 Mann, Makai; Irfan, Ahmed; Griggio, Alberto; Padon, Oded; Barrett, Clark
Data Augmentation Techniques for the Video Question Answering Task
2020-01-01 Falcon, Alex; Lanz, Oswald; Serra, Giuseppe
Deep 2D Encoder-Decoder Convolutional Neural Network for Multiple Sclerosis Lesion Segmentation in Brain MRI
2019-01-01 Aslani, Shahab; Dayan, Michael; Murino, Vittorio; Sona, Diego
Deep Learning Architectures for DNA Sequence Classification
2017-01-01 Lo Bosco, Giosué; Di Gangi, Mattia Antonino
A DevOps Perspective for QoS-Aware Adaptive Applications
2020-01-01 De Sanctis, Martina; Bucchiarone, Antonio; Trubiani, Catia
Digging into Business Process Meta-models: A First Ontological Analysis
2020-01-01 Adamo, Greta; Di Francescomarino, Chiara; Ghidini, Chiara
An End-to-End Semantic Platform for Nutritional Diseases Management
2019-01-01 Donadello, Ivan; Dragoni, Mauro
Enhancing Perceptual Attributes with Bayesian Style Generation
2019-01-01 Siarohin, Aliaksandr; Zen, Gloria; Sebe, Nicu; Ricci, Elisa
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties
2019-01-01 Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico; Roveri, Marco; Tonetta, Stefano
Extracting Business Process Entities and Relations from Text Using Pre-trained Language Models and In-Context Learning
2022-01-01 Bellan, Patrizio; Dragoni, Mauro; Ghidini, Chiara
Frontiers of Combining Systems, 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
2015-01-01 Lutz, Carsten; Ranise, Silvio
Indoor Localization Using Audio Features of FM Radio Signals
2011-01-01 Popleteev, Andrei; Osmani, Venet; Mayora, Oscar; Matic, Aleksandar
Justifiable Exceptions in General Contextual Hierarchies
2019-01-01 Bozzato, Loris; Eiter, Thomas; Serafini, Luciano
Learning Video Retrieval Models with Relevance-Aware Online Mining
2022-01-01 Falcon, Alex; Serra, Giuseppe; Lanz, Oswald
Localisation of Defects in Volumetric Computed Tomography Scans of Valuable Wood Logs
2021-01-01 Boscaini, Davide; Poiesi, Fabio; Messelodi, Stefano; Younes, Ayman; Grande, Donato A.
Micro-Id-Gym: A Flexible Tool for Pentesting Identity Management Protocols in the Wild and in the Laboratory
2020-01-01 Bisegna, Andrea; Carbone, Roberto; Pellizzari, Giulio; Ranise, Silvio
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System
2020-01-01 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Scaglione, Giuseppe; Susi, Angelo; Tacchella, Alberto; Tessi, Matteo
A Model-Driven Approach Towards Automatic Migration to Microservices
2020-01-01 Bucchiarone, Antonio; Soysal, Kemal; Guidi, Claudio
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