Sfoglia per Autore
Safe Learning with Real-Time Constraints: a Case Study
2010-01-01 Metta, G; Natale, L; Pathak, S; Pulina, Luca; Tacchella, A.
Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation
2011-01-01 Pulina, Luca; Tacchella, A.
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions
2011-01-01 Maratea, M; Pulina, Luca
NeVer: A Tool for Artificial Neural Networks Verification
2011-01-01 Pulina, Luca; Tacchella, A.
Applying machine learning techniques to ASP solving
2012-01-01 Maratea, Marco; Ricca, Francesco; Pulina, Luca
Applying machine learning techniques to ASP solving
2012-01-01 Pulina, Luca; Ricca, Francesco; Maratea, Marco
Modeling biometric template update with Ant Colony Optimization
2012-01-01 Grosso, Enrico; Pulina, Luca; Tistarelli, Massimo
Understanding critical factors in gender recognition
2012-01-01 Grosso, Enrico; Pulina, Luca; Tistarelli, Massimo; Lagorio, Andrea
Multi-engine ASP solving with policy adaptation
2012-01-01 Pulina, Luca; Maratea, Marco; Ricca, Francesco
A Swarm intelligence approach for biometrics verification and identification
2012-01-01 Pulina, Luca
On the plausibility of a generalized model of perceived similarity between faces
2012-01-01 Lorusso, Ludovica; Brelstaff, G; Pulina, Luca; Grosso, Enrico
Applying Machine Learning Techniques to ASP Solving
2012-01-01 Maratea, M; Pulina, Luca; Ricca, F.
Understanding critical factors in appearance-based gender categorization
2012-01-01 Grosso, Enrico; Lagorio, Andrea; Pulina, Luca; Tistarelli, Massimo
Solving disjunctive temporal problems with preferences using maximum satisfiability
2012-01-01 Maratea, M; Pulina, Luca
Challenging SMT solvers to verify neural networks
2012-01-01 Pulina, Luca; Tacchella, A.
The Multi-Engine ASP Solver me-asp
2012-01-01 Maratea, M; Pulina, Luca; Ricca, F.
Automated selection of grounding algorithm in Answer Set Programming
2013-01-01 Maratea, M; Pulina, Luca; Ricca, F.
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences
2013-01-01 Bourguet, Jean Rémi; Maratea, M; Pulina, Luca
How to abstract intelligence? If verification is in order
2013-01-01 Pathak, S; Pulina, Luca; Metta, G; Tacchella, A.
OBDA and Intermodal Logistics: Active Projects and Applications
2013-01-01 Bourguet, Jean Rémi; Cicala, G; Pulina, Luca; Tacchella, A.
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