5 citations · 5 across the 6 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
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…
cs.CV2026
WireSeg-32K: A Physics-Grounded Synthetic Dataset for Wire Instance Segmentation
Zilin Dai, Lehong Wang, Yi Yang +1
Deformable linear objects such as wires and cables are difficult to segment because they are thin, highly deformable, and frequently self-occluded, while large-scale instance-level…
cs.RO2026
DeformX: A Versatile Co-Simulation Framework for Deformable Linear Objects
Yi Yang, Xiang Fei, Lehong Wang +5
Deformable linear objects (DLOs) such as wires, cables, and ropes are common in robotic manipulation tasks, yet simulating them with both visual realism and physical accuracy remai…