From the 1 of 6 papers with an AI index.
1 citations
- Centre National de la Recherche ScientifiqueFR4 papers
- Université de MontpellierFR4 papers
- Institut national de recherche en sciences et technologies du numériqueFR2 papers
- École Normale Supérieure - PSLFR1 paper
- Écologie Marine Tropicale des Océans Pacifique et IndienRE1 paper
- IfremerFR1 paper
- Institut de Recherche pour le DéveloppementFR1 paper
- Institut Polytechnique de BordeauxFR1 paper
- Laboratoire Bordelais de Recherche en InformatiqueFR1 paper
- Marine Biodiversity Exploitation and ConservationFR1 paper
- Université de BordeauxFR1 paper
- Université Paris Sciences et LettresFR1 paper
6 papers
A Strategy Language for Controlled Proof Search
Romain Sidhoum, Simon Robillard, David Delahaye
The paper introduces a strategy language for the Pgeon meta‑prover that cleanly separates inference rules from proof search, defining semantics for strategies to enable fair and co…
Abstractions of Queries in Ontology-Based Data Access
Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli
In ontology-based data access (OBDA), multiple data sources are integrated via mappings to an ontology. We consider an OBDA setting based on existential rules and the certain answe…
Answering Path Queries under Linear and Guarded Existential Rules
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier +1
Ontology-mediated query answering is concerned with the problem of answering queries over knowledge bases consisting of a database instance and an ontology. While most work in the…
Generalization Limits in Vehicle Re-Identification
Anis Yassine Ben Mabrouk, Antoine Tadros, Rafael Grompone von Gioi +3
Vehicle re-identification focuses on retrieving images of the same vehicle from a gallery given a query image. Upon closer inspection of commonly used datasets, we observe that veh…
A drone-based framework for coral habitat mapping via weakly supervised segmentation
Matteo Contini, Victor Illien, Sylvain Poulain +4
Obtaining pixel-level annotations over large spatial extents remains a major bottleneck for deploying machine learning in ecological applications. Here we present a multi-scale wea…
Quantum Model for CVRPTW
Imran Meghazi, Ãric Bourreau
This paper proposes a quantum algorithm for the capacitated vehicle routing problem with time windows (CVRPTW) based on Grover Search framework. This problem is often faced by Post…