6 papers
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…
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…
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…
Sketch2Arti: Sketch-based Articulation Modeling of CAD Objects
Yi Yang, Hao Pan, Yijing Cui +2
Articulation modeling aims to infer movable parts and their motion parameters for a 3D object, enabling interactive animation, simulation, and shape editing. In this paper, we pres…
SMooGPT: Stylized Motion Generation using Large Language Models
Lei Zhong, Yi Yang, Changjian Li
Stylized motion generation is actively studied in computer graphics, especially benefiting from the rapid advances in diffusion models. The goal of this task is to produce a novel…
ReFu: Recursive Fusion for Exemplar-Free 3D Class-Incremental Learning
Yi Yang, Lei Zhong, Huiping Zhuang
We introduce a novel Recursive Fusion model, dubbed ReFu, designed to integrate point clouds and meshes for exemplar-free 3D Class-Incremental Learning, where the model learns new…