Buchumschlag

Enhancing Computer Vision with Knowledge: a Rummikub Case Study

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Vandevelde, Simon, Mertens, Laurent, Lauwers, Sverre, Vennekens, Joost
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Computer Vision and Pattern Recognition Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Efficiently grounding FOL using bit vectors
von: Van Laer, Lucas, et al.
Veröffentlicht: (2024)

EmoCAM: Toward Understanding What Drives CNN-based Emotion Recognition
von: Doulfoukar, Youssef, et al.
Veröffentlicht: (2024)

Enhancing Vision Language Models with Logic Reasoning for Situational Awareness
von: Pradeep, Pavana, et al.
Veröffentlicht: (2026)

Enhanced Drift-Aware Computer Vision Architecture for Autonomous Driving
von: Hossain, Md Shahi Amran, et al.
Veröffentlicht: (2025)

Answer Set Programming for Flexible Payroll Management
von: Callewaert, Benjamin, et al.
Veröffentlicht: (2024)

Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
von: Singh, Vikash, et al.
Veröffentlicht: (2026)

FindingEmo: An Image Dataset for Emotion Recognition in the Wild
von: Mertens, Laurent, et al.
Veröffentlicht: (2024)

Assessing the Alignment of Popular CNNs to the Brain for Valence Appraisal
von: Mertens, Laurent, et al.
Veröffentlicht: (2025)

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing
von: Elboher, Yizhak, et al.
Veröffentlicht: (2024)

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report
von: Bukhari, Syed Ali Asadullah, et al.
Veröffentlicht: (2024)

Simulating dynamic systems using Linear Time Calculus theories
von: Bogaerts, Bart, et al.
Veröffentlicht: (2014)

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems
von: Gruteser, Jan, et al.
Veröffentlicht: (2024)

Network Inversion and Its Applications
von: Suhail, Pirzada, et al.
Veröffentlicht: (2024)

LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision
von: Huang, Jiani, et al.
Veröffentlicht: (2023)

Formal Reasoning About Confidence and Automated Verification of Neural Networks
von: Afzal, Mohammad, et al.
Veröffentlicht: (2025)

Concept-based Analysis of Neural Networks via Vision-Language Models
von: Mangal, Ravi, et al.
Veröffentlicht: (2024)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
von: Mertens, Hannah, et al.
Veröffentlicht: (2024)

Compositional Reasoning for Probabilistic Automata with Uncertainty
von: Mertens, Hannah, et al.
Veröffentlicht: (2026)

Bridging Simplicity and Sophistication using GLinear: A Novel Architecture for Enhanced Time Series Prediction
von: Rizvi, Syed Tahir Hussain, et al.
Veröffentlicht: (2025)

A Multimodal Framework for Deepfake Detection
von: Gandhi, Kashish, et al.
Veröffentlicht: (2024)

Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems
von: Shahid, Mahnoor, et al.
Veröffentlicht: (2026)

Double-Stage Feature-Level Clustering-Based Mixture of Experts Framework
von: Badjie, Bakary, et al.
Veröffentlicht: (2025)

Compositional Reasoning for Parametric Probabilistic Automata
von: Mertens, Hannah, et al.
Veröffentlicht: (2025)

Improving Fuzzy-Logic based Map-Matching Method with Trajectory Stay-Point Detection
von: Jafarlou, Minoo, et al.
Veröffentlicht: (2022)

Bridging Computational Notions of Depth
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2024)

Computing with Infinite Objects: the Gray Code Case
von: Spreen, Dieter, et al.
Veröffentlicht: (2021)

Tree Rewriting Calculi for Strictly Positive Logics
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2025)

The Complexity of the Constructive Master Modality
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2026)

Computational Imaging for Enhanced Computer Vision
von: Shaikh, Humera, et al.
Veröffentlicht: (2025)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
von: Afshari, Bahareh, et al.
Veröffentlicht: (2024)

Visual Graph Question Answering with ASP and LLMs for Language Parsing
von: Bauer, Jakob Johannes, et al.
Veröffentlicht: (2025)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
von: Liang, Xiaolong, et al.
Veröffentlicht: (2024)

A Logic of Knowledge and Justifications, with an Application to Computational Trust
von: Genco, Francesco A.
Veröffentlicht: (2024)

Enhancing Computer Vision Model Generalization in Warehouse Facilities: A Case Study on Anomaly Detection in Vertical Material Handling Systems
von: Liu, Ruiliang, et al.
Veröffentlicht: (2026)

A Comprehensive Review of Knowledge Distillation in Computer Vision
von: Habib, Gousia, et al.
Veröffentlicht: (2024)

Computation of Interpolants for Description Logic Concepts in Hard Cases
von: Jung, Jean Christoph, et al.
Veröffentlicht: (2025)

SAT-based Learning of Computation Tree Logic
von: Pommellet, Adrien, et al.
Veröffentlicht: (2024)

Agent-Knowledge Logic for Alternative Epistemic Logic
von: Nishimura, Yuki
Veröffentlicht: (2024)

Micro-Fracture Detection in Photovoltaic Cells with Hardware-Constrained Devices and Computer Vision
von: Faassen, Booy Vitas, et al.
Veröffentlicht: (2024)

Meta-Mathematics of Computational Complexity Theory
von: Oliveira, Igor C.
Veröffentlicht: (2025)