Sfoglia per Autore
An empirical study of QBF encodings: from treewidth estimation to useful preprocessing
2010-01-01 Pulina, Luca; Tacchella, A.
NeVer: A Tool for Artificial Neural Networks Verification
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
Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation
2011-01-01 Pulina, Luca; Tacchella, A.
Applying machine learning techniques to ASP solving
2012-01-01 Pulina, Luca; Ricca, Francesco; Maratea, Marco
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
Applying machine learning techniques to ASP solving
2012-01-01 Maratea, Marco; Ricca, Francesco; Pulina, Luca
Modeling biometric template update with Ant Colony Optimization
2012-01-01 Grosso, Enrico; Pulina, Luca; Tistarelli, Massimo
The Multi-Engine ASP Solver me-asp
2012-01-01 Maratea, M; Pulina, Luca; Ricca, F.
Applying Machine Learning Techniques to ASP Solving
2012-01-01 Maratea, M; Pulina, Luca; Ricca, F.
On the plausibility of a generalized model of perceived similarity between faces
2012-01-01 Lorusso, Ludovica; Brelstaff, G; Pulina, Luca; Grosso, Enrico
Understanding critical factors in appearance-based gender categorization
2012-01-01 Grosso, Enrico; Lagorio, Andrea; Pulina, Luca; Tistarelli, Massimo
Challenging SMT solvers to verify neural networks
2012-01-01 Pulina, Luca; Tacchella, A.
Solving disjunctive temporal problems with preferences using maximum satisfiability
2012-01-01 Maratea, M; Pulina, Luca
How to abstract intelligence? If verification is in order
2013-01-01 Pathak, S; Pulina, Luca; Metta, G; Tacchella, A.
FRaQuE: A Framework for Rapid Query Processing Evaluation
2013-01-01 Bourguet, Jean Rémi; Pulina, Luca
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences
2013-01-01 Bourguet, Jean Rémi; Maratea, M; Pulina, Luca
Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub
2013-01-01 Pathak, S; Pulina, Luca; Metta, G; 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