Codice:
E211129
ISSN:
1613-0073
Dati Generali
Pubblicazioni (30)
A Multi-Modal Knowledge Graph for Mapping Narratives of Cinema's Divas
Contributo in Atti di convegnoA case for robust AI in robotics
Contributo in Atti di convegnoAI and videogames: a “drosophila” for declarative methods
Contributo in Atti di convegnoARKIVO: An ontology for describing archival resources
Contributo in Atti di convegnoAn Ontology-Based Archive for Historical Research
Contributo in Atti di convegnoAn empirical perspective on ten years of QBF solving
Contributo in Atti di convegnoAnomaly Recognition with Trustworthy Neural Networks: a Case Study in Elevator Control
Contributo in Atti di convegnoBistìris Ontology: Towards a Structured Representation of Sardinian Traditional Female Costumes
Contributo in Atti di convegnoBuilding the Semantic Portal of Italian Divagrafie
Contributo in Atti di convegnoConstructing a Knowledge Graph for Italian Cinema Divas' Autobiographies
Contributo in Atti di convegnoCounter-Example Guided Abstract Refinement for Verification of Neural Networks
Contributo in Atti di convegnoDataflow-based adaptation framework with coarse-grained reconfigurable accelerators
Contributo in Atti di convegnoEnhancing neural networks through formal verification
Contributo in Atti di convegnoFRaQuE: A Framework for Rapid Query Processing Evaluation
Contributo in Atti di convegnoLearning with safety requirements: State of the art and open questions
Contributo in Atti di convegnoLeveraging semantic web technologies for analysis of crime in social science
Contributo in Atti di convegnoOn the interoperability of capture devices in fingerprint presentation attacks detection
Contributo in Atti di convegnoPreface
Capitolo di libroPreface
Contributo in Atti di convegnoRepair of convolutional neural networks using convex optimization: Preliminary experiments
Contributo in Atti di convegnoSTOLE: A Reference Ontology for Historical Research Documents.
Contributo in Atti di convegnoTROvE: a Graphical Tool to Evaluate OWL Reasoners
Contributo in Atti di convegnoThe Ninth QBF Solvers Evaluation–Preliminary Report
Contributo in Atti di convegnoThe WOW Project: Bridging AI and Cultural Heritage for Actress Writings
Contributo in Atti di convegnoTowards an ontology for describing archival resources
Contributo in Atti di convegnoTranslating Requirements in Property Specification Patterns using LLMs
Contributo in Atti di convegnoUnlocking Historical Insights: Developing a Dataset from Historical Archives
Contributo in Atti di convegnoVerification of Neural Networks for Safety and Security-critical Domains
Contributo in Atti di convegnoVerification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project
Contributo in Atti di convegnoNo Results Found