Showing 2026Show all
2 papers · 1 filter
cs.CV2026
TartanMatch: Towards Universal Dense Correspondence Across Modalities
Hyeokjoon Kwon, Jiting Cai, Ruogu Li +7
Robotic platforms combine multi-modal sensors to operate across diverse conditions, but most dense correspondence methods are limited to RGB-RGB or a small set of modality pairs. T…
cs.LO2026
A new method for proving confluence on abstract reduction systems --- Confluence of non-E-overlapping weakly-shallow TRSs ---
Masahiko Sakai, Mizuhito Ogawa, Michio Oyamaguchi
This paper proposes a new method for proving the confluence of an abstract reduction system (ARS) by clarifying the sufficient conditions, called compatibility and edge commutativi…