Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Competenze
IT
EN
☰
|
UNIFIND
uniss.it
IT
EN
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Competenze
☰
Pubblicazioni
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Serie
Codice:
E100305
Dati Generali
Dati Generali
Pubblicazioni (23)
Pulisci
Ordina Pubblicazioni:
ascendente
decrescente
3D face recognition using joint differential invariants
Contributo in Atti di convegno
Algorithm Selection for Paracoherent Answer Set Computation
Contributo in Atti di convegno
Automated Requirements-Based Testing of Black-Box Reactive Systems
Contributo in Atti di convegno
Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation
Contributo in Atti di convegno
Constrained image generation using binarized neural networks with decision procedures
Contributo in Atti di convegno
Foveated Vision for Deepface Recognition
Contributo in Atti di convegno
Hard QBF Encodings Made Easy: Dream or Reality?
Contributo in Atti di convegno
Hardware/Software self-adaptation in CPS: The CERBERO project approach
Contributo in Atti di convegno
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas
Contributo in Atti di convegno
Multi-criteria Evaluation vs Perceived Urban Quality: An Exploratory Comparison
Capitolo di libro
New Approximation Algorithms for the Heterogeneous Weighted Delivery Problem
Contributo in Atti di convegno
PAC-PAC: End User Development of Immersive Point and Click Games
Contributo in Atti di convegno
Preface
Contributo in Atti di convegno
QuBIS: An (In)complete Solver for Quantified Boolean Formulas
Contributo in Atti di convegno
Ranking and Reputation Systems in the QBF Competition
Contributo in Atti di convegno
SMT-based planning for robots in smart factories
Contributo in Atti di convegno
Safe Learning with Real-Time Constraints: a Case Study
Contributo in Atti di convegno
Sport-City Planning. A Proposal for an Index to Support Decision-Making Practice: Principles and Strategies
Capitolo di libro
Towards a High-Fidelity Assessment of Urban Green Spaces Walking Accessibility
Capitolo di libro
Tracking routes in communication networks
Contributo in Atti di convegno
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings
Contributo in Atti di convegno
Understanding critical factors in appearance-based gender categorization
Contributo in Atti di convegno
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models
Contributo in Atti di convegno
No Results Found
«
‹
{pageNumber}
›
»
{startItem} - {endItem} di {itemsNumber}
5 per pagina
10 per pagina
30 per pagina
vedi tutti
