output
20072026
most citedA metric on the space of finite sets of trajectories for evaluation of multi-target tracking algorithms

112 citations

27 papers

cs.RO2026

Communication Outage-Resistant UUV State Estimation: A Variational History Distillation Approach

Shuyue Li, Miguel López-Benítez, Eng Gee Lim +5

The reliable operation of Unmanned Underwater Vehicle (UUV) clusters is highly dependent on continuous acoustic communication. However, this communication method is highly suscepti…

cs.CV2024

Recursive InPainting (RIP): how much information is lost under recursive inferences?

Javier Conde, Miguel González, Gonzalo Martínez +3

The rapid adoption of generative artificial intelligence (AI) is accelerating content creation and modification. For example, variations of a given content, be it text or images, c…

eess.SP2024★ 2 cited

Independent Component Analysis for Signal Crosstalk Elimination in Infrared Interferometry

Luis Esteban, Alberto Regadío, Ulises Losada

Infrared interferometers are optical devices that can measure optical path-length differences by measuring changes in the refractive index. Several arrangements can be deployed, fr…

cs.SC2024★ 2 cited

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned

Belén Ariño-Morera, Zoltán Kovács, Tomás Recio +1

We address, through the automated reasoning tools in GeoGebra Discovery, a problem from a regional phase of the Austrian Mathematics Olympiad 2023. Trying to solve this problem giv…

cs.SC2024★ 4 cited

Showing Proofs, Assessing Difficulty with GeoGebra Discovery

Zoltán Kovács, Tomás Recio, M. Pilar Vélez

In our contribution we describe some on-going improvements concerning the Automated Reasoning Tools developed in GeoGebra Discovery, providing different examples of the performance…

math.LO2023

Some combinatorial properties of semiselective ideals

Julián C. Cano, Carlos A. Di Prisco, Michael Hrušák

We present several combinatorial properties of semiselective ideals on the set of natural numbers. The continuum hypothesis implies that the complement of every selective ideal con…