Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
A VR Multiplayer Application for Fire Fighting Training Simulations
2022-01-01 Capasso, I.; Bassano, C.; Bracco, F.; Solari, F.; Viola, E.; Chessa, M.
AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO
2023-01-01 SADEGHI GARJAN, Mahyar; Chaanine, Tommy; Pasquale, Cecilia; Pastore, VITO PAOLO; Ferrando, Angelo
Analysis of linear and order statistics combiners for fusion of imbalanced classifiers
2002-01-01 Roli, F.; Fumera, G.
Application and Evaluation of a Cross-Fertilization Methodology in the AEC Industry: New Technologies, Digitalization and Robotization
2023-01-01 Soraggi, Daniele; Delponte, Ilaria
Application of a Serious Game for Emotion Elicitation Under Socio-Economic and Trust Based Decision-Making Scenarios for Autistic Adolescents
2024-01-01 Ahmed, F.; Berta, R.; Bellotti, F.; Floris, F.; Lazzaroni, L.; Barresi, G.; Carrion, J. R.
Arianna+: scalable human activity recognition by reasoning with a network of ontologies
2018-01-01 SYED YUSHA, Kareem; Buoncompagni, Luca; Mastrogiovanni, Fulvio
An ASP-Based Approach to Scheduling Pre-operative Assessment Clinic
2022-01-01 Caruso, S.; Galata, G.; Maratea, M.; Mochi, M.; Porro, I.
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots
2019-01-01 Bertolucci, Riccardo; Capitanelli, Alessio; Dodaro, Carmine; Leone, Nicola; Maratea, Marco; Mastrogiovanni, Fulvio; Vallati, Mauro
An ASP-based Solution for Operating Room Scheduling with Beds Management
2019-01-01 Dodaro, Carmine; Galata, Giuseppe; Khan, MUHAMMAD KAMRAN; Maratea, Marco; Porro, Ivan
Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity
2019-01-01 Bertolucci, Riccardo; Capitanelli, Alessio; Maratea, Marco; Mastrogiovanni, Fulvio; Vallati, Mauro
BAARD: Blocking Adversarial Examples by Testing for Applicability, Reliability and Decidability
2023-01-01 Chang, X.; Dost, K.; Zhao, K.; Demontis, A.; Roli, F.; Dobbie, G.; Wicker, J.
Biometric template update: An experimental investigation on the relationship between update errors and performance degradation in face verification
2008-01-01 Marcialis, G. L.; Rattani, A.; Roli, F.
Can Robots Elicit Different Comfortability Levels?
2020-01-01 Lechuga Redondo, M. E.; Vignolo, A.; Niewiadomski, R.; Rea, F.; Sciutti, A.
Change of network dynamics in a neuro-robotic system
2014-01-01 Nava, I.; Tessadori, J.; Chiappalone, M.
Clustering-aided page object generation for web testing
2016-01-01 Stocco, Andrea; Leotta, Maurizio; Ricca, Filippo; Tonella, Paolo
Comparing trace expressions and linear temporal logic for runtime verification
2016-01-01 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
Computation of 2D Discrete Geometric Moments Through Inclusion-Exclusion
2022-01-01 Comic, Lidija; Magillo, Paola
Constrained image generation using binarized neural networks with decision procedures
2018-01-01 Korneev, Svyatoslav; Narodytska, Nina; Pulina, Luca; Tacchella, Armando; Bjorner, Nikolaj; Sagiv, Mooly
A Cortical-Inspired Model for Orientation-Dependent Contrast Perception: A Link with Wilson-Cowan Equations
2019-01-01 Bertalmio, M.; Calatroni, L.; Franceschi, V.; Franceschiello, B.; Prandi, D.
Deconfined Global Types for Asynchronous Sessions
2021-01-01 Dagnino, F.; Giannini, P.; Dezani-Ciancaglini, M.
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