Sfoglia per Serie LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Benefits of bounded model checking at an industrial setting
2001-01-01 Copty, F.; Fix, L.; Fraer, R.; Giunchiglia, Enrico; Kamhi, G.; Tacchella, Armando; Vardi, M. Y.
Best-Effort and Guaranteed Performance Services in Telecommunications Networks: Pricing and Call Admission Control Techniques
2003-01-01 Baglietto, Marco; Bolla, Raffaele; Davoli, Franco; Marchese, Mario; M., Mongelli
Biclustering by resampling
2010-01-01 E., Nosova; R., Tagliaferri; Masulli, Francesco; Rovetta, Stefano
A bio-inspired approach to attack graphs analysis
2018-01-01 Conti, V.; Ruffo, S. S.; Merlo, A.; Migliardi, M.; Vitabile, S.
Brain tumor detection and classification from multi-sequence MRI: study using convnets
2019-01-01 Banerjee, S.; Mitra, S.; Masulli, F.; Rovetta, S.
BYODCert: Toward a cross-organizational BYOD paradigm
2017-01-01 Merlo, Alessio
Can my test case run on your test plant? A logic-based compliance check and its evaluation on real data
2017-01-01 Briola, Daniela; Mascardi, Viviana
Cancer mutational signatures identification with sparse dictionary learning
2019-01-01 Tozzo, Veronica; Barla, Annalisa
Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers
2004-01-01 Le Berre, D.; Simon, L.; Tacchella, Armando
The Challenges of Big Data and the Contribution of Fuzzy Logic
2019-01-01 Masulli, F.; Rovetta, S.
“Changes”: An Immersive Spatial Audio Project Based on Low-Cost Open Tools
2018-01-01 Bellanti, Edoardo; Corsi, Alice; De Sotgiu, Andrea; Vercelli, Gianni
A Cluster Analysis of Stock Market Data using Hierarchical SOMs
2016-01-01 Astudillo, C. A.; Poblete, J.; Resta, Marina; Oomen, B. J.
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs
2004-01-01 Lierler, Yuliya; Maratea, Marco
Comparing Fuzzy Clusterings in High Dimensionality
2015-01-01 Rovetta, Stefano; Masulli, Francesco
Computing All Optimal Solutions in Satisfiability Problems with Preferences
2008-01-01 Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco
Computing Morse decompositions for triangulated terrains: an analysis and an experimental evaluation
2011-01-01 Vitali, Maria; DE FLORIANI, Leila; Magillo, Paola
Concentrated curvature for mean curvature estimation in triangulated surfaces
2012-01-01 M. M., Mesmoudi; DE FLORIANI, Leila; Magillo, Paola
A control architecture for quality of service and resource allocation in multiservice IP networks
2003-01-01 Bolla, Raffaele; Davoli, Franco; Repetto, Matteo
ConversIAmo: Improving Italian Question Answering Exploiting IBM Watson Services
2020-01-01 Leoni, Chiara; Torre, Ilaria; Vercelli, Gianni
Coo-BDI: Extending the BDI Model with Cooperativity
2004-01-01 Ancona, Davide; Mascardi, Viviana
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