Image de couverture de livre

Enhancing Computer Vision with Knowledge: a Rummikub Case Study

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Vandevelde, Simon, Mertens, Laurent, Lauwers, Sverre, Vennekens, Joost
Format:	Preprint
Publié:	2024
Sujets:	Computer Vision and Pattern Recognition Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Efficiently grounding FOL using bit vectors
par: Van Laer, Lucas, et autres
Publié: (2024)

EmoCAM: Toward Understanding What Drives CNN-based Emotion Recognition
par: Doulfoukar, Youssef, et autres
Publié: (2024)

Enhancing Vision Language Models with Logic Reasoning for Situational Awareness
par: Pradeep, Pavana, et autres
Publié: (2026)

Enhanced Drift-Aware Computer Vision Architecture for Autonomous Driving
par: Hossain, Md Shahi Amran, et autres
Publié: (2025)

Answer Set Programming for Flexible Payroll Management
par: Callewaert, Benjamin, et autres
Publié: (2024)

Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
par: Singh, Vikash, et autres
Publié: (2026)

FindingEmo: An Image Dataset for Emotion Recognition in the Wild
par: Mertens, Laurent, et autres
Publié: (2024)

Assessing the Alignment of Popular CNNs to the Brain for Valence Appraisal
par: Mertens, Laurent, et autres
Publié: (2025)

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing
par: Elboher, Yizhak, et autres
Publié: (2024)

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report
par: Bukhari, Syed Ali Asadullah, et autres
Publié: (2024)

Simulating dynamic systems using Linear Time Calculus theories
par: Bogaerts, Bart, et autres
Publié: (2014)

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems
par: Gruteser, Jan, et autres
Publié: (2024)

Network Inversion and Its Applications
par: Suhail, Pirzada, et autres
Publié: (2024)

LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision
par: Huang, Jiani, et autres
Publié: (2023)

Formal Reasoning About Confidence and Automated Verification of Neural Networks
par: Afzal, Mohammad, et autres
Publié: (2025)

Concept-based Analysis of Neural Networks via Vision-Language Models
par: Mangal, Ravi, et autres
Publié: (2024)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
par: Mertens, Hannah, et autres
Publié: (2024)

Compositional Reasoning for Probabilistic Automata with Uncertainty
par: Mertens, Hannah, et autres
Publié: (2026)

Bridging Simplicity and Sophistication using GLinear: A Novel Architecture for Enhanced Time Series Prediction
par: Rizvi, Syed Tahir Hussain, et autres
Publié: (2025)

A Multimodal Framework for Deepfake Detection
par: Gandhi, Kashish, et autres
Publié: (2024)

Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems
par: Shahid, Mahnoor, et autres
Publié: (2026)

Double-Stage Feature-Level Clustering-Based Mixture of Experts Framework
par: Badjie, Bakary, et autres
Publié: (2025)

Compositional Reasoning for Parametric Probabilistic Automata
par: Mertens, Hannah, et autres
Publié: (2025)

Improving Fuzzy-Logic based Map-Matching Method with Trajectory Stay-Point Detection
par: Jafarlou, Minoo, et autres
Publié: (2022)

Bridging Computational Notions of Depth
par: Bienvenu, Laurent, et autres
Publié: (2024)

Computing with Infinite Objects: the Gray Code Case
par: Spreen, Dieter, et autres
Publié: (2021)

Tree Rewriting Calculi for Strictly Positive Logics
par: Santiago-Fernández, Sofía, et autres
Publié: (2025)

The Complexity of the Constructive Master Modality
par: Santiago-Fernández, Sofía, et autres
Publié: (2026)

Computational Imaging for Enhanced Computer Vision
par: Shaikh, Humera, et autres
Publié: (2025)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
par: Afshari, Bahareh, et autres
Publié: (2024)

Visual Graph Question Answering with ASP and LLMs for Language Parsing
par: Bauer, Jakob Johannes, et autres
Publié: (2025)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
par: Liang, Xiaolong, et autres
Publié: (2024)

A Logic of Knowledge and Justifications, with an Application to Computational Trust
par: Genco, Francesco A.
Publié: (2024)

Enhancing Computer Vision Model Generalization in Warehouse Facilities: A Case Study on Anomaly Detection in Vertical Material Handling Systems
par: Liu, Ruiliang, et autres
Publié: (2026)

A Comprehensive Review of Knowledge Distillation in Computer Vision
par: Habib, Gousia, et autres
Publié: (2024)

Computation of Interpolants for Description Logic Concepts in Hard Cases
par: Jung, Jean Christoph, et autres
Publié: (2025)

SAT-based Learning of Computation Tree Logic
par: Pommellet, Adrien, et autres
Publié: (2024)

Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)

Micro-Fracture Detection in Photovoltaic Cells with Hardware-Constrained Devices and Computer Vision
par: Faassen, Booy Vitas, et autres
Publié: (2024)

Meta-Mathematics of Computational Complexity Theory
par: Oliveira, Igor C.
Publié: (2025)