Identifier:
E211129
ISSN:
1613-0073
Overview
Outputs (45)
A Taxonomy of Program Analyses
Conference PaperA bag-of-entities approach to document focus time estimation
Conference PaperA mobile application for the enhancement of POIs in Calabria
Conference PaperAI for Sustainability: Research at Ud’A Node
Conference PaperActive Integrity Constraints with Existential Quantification
Conference PaperClassification methods in cultural heritage
Conference PaperConcurrent Argumentation with Time: an Overview
Conference PaperDLE4FC: a Deep Learning Ensemble to Identify Fabric Colors
Conference PaperEducational games for cultural heritage
Conference PaperExplainability in breast cancer detection
Conference PaperSoftware Model Checking by Program Specialization
Conference PaperTeiresias: A tool for automatic Greek handwriting translation
Conference PaperTimed Concurrent Language for Argumentation
Conference PaperVisualizing CHC Verification Conditions for Smart Contracts Auditing
Conference PaperWell founded semantics for P2P deductive databases
Conference PaperNo Results Found