Zobrazeno 1 - 10
of 1 813
pro vyhledávání: '"A. Mascle"'
Self-Supervised Learning (SSL) has emerged as a promising approach in computer vision, enabling networks to learn meaningful representations from large unlabeled datasets. SSL methods fall into two main categories: instance discrimination and Masked
Externí odkaz:
http://arxiv.org/abs/2410.07442
Detecting small targets in infrared images poses significant challenges in defense applications due to the presence of complex backgrounds and the small size of the targets. Traditional object detection methods often struggle to balance high detectio
Externí odkaz:
http://arxiv.org/abs/2410.07437
We present a polynomial-time algorithm minimising the number of states of history-deterministic generalised coB\"uchi automata, building on the work of Abu Radi and Kupferman on coB\"uchi automata. On the other hand, we establish that the minimisatio
Externí odkaz:
http://arxiv.org/abs/2407.18090
Autor:
van Bergerem, Steffen, Guttenberg, Roland, Kiefer, Sandra, Mascle, Corto, Waldburger, Nicolas, Weil-Kennedy, Chana
Population protocols are a well-studied model of distributed computation in which a group of anonymous finite-state agents communicates via pairwise interactions. Together they decide whether their initial configuration, that is, the initial distribu
Externí odkaz:
http://arxiv.org/abs/2405.00921
Autor:
Ciocarlan, Alina, Hégarat-Mascle, Sylvie Le, Lefebvre, Sidonie, Woiselle, Arnaud, Barbanson, Clara
Detecting small to tiny targets in infrared images is a challenging task in computer vision, especially when it comes to differentiating these targets from noisy or textured backgrounds. Traditional object detection methods such as YOLO struggle to d
Externí odkaz:
http://arxiv.org/abs/2402.02288
Autor:
Casares, Antonio, Mascle, Corto
In 2021, Casares, Colcombet and Fijalkow introduced the Alternating Cycle Decomposition (ACD), a structure used to define optimal transformations of Muller into parity automata and to obtain theoretical results about the possibility of relabelling au
Externí odkaz:
http://arxiv.org/abs/2401.03811
We study the problem of learning linear temporal logic (LTL) formulas from examples, as a first step towards expressing a property separating positive and negative instances in a way that is comprehensible for humans. In this paper we initiate the st
Externí odkaz:
http://arxiv.org/abs/2312.16336
In parametric lock-sharing systems processes can spawn new processes to run in parallel, and can create new locks. The behavior of every process is given by a pushdown automaton. We consider infinite behaviors of such systems under strong process fai
Externí odkaz:
http://arxiv.org/abs/2307.04925
We consider the parameterized verification of arbitrarily large networks of agents which communicate by broadcasting and receiving messages. In our model, the broadcast topology is reconfigurable so that a sent message can be received by any set of a
Externí odkaz:
http://arxiv.org/abs/2306.01517
The detection of small objects is a challenging task in computer vision. Conventional object detection methods have difficulty in finding the balance between high detection and low false alarm rates. In the literature, some methods have addressed thi
Externí odkaz:
http://arxiv.org/abs/2303.01363