4 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.RO2022★ 3 cited
A Miniature 3-DoF Flexible Parallel Robotic Wrist Using NiTi Wires for Gastrointestinal Endoscopic Surgery
Huxin Gao, Xiao Xiao, Xiaoxiao Yang +4
Gastrointestinal endoscopic surgery (GES) has high requirements for instruments' size and distal dexterity, because of the narrow endoscopic channel and long, tortuous human gastro…
cs.CV2021
BAANet: Learning Bi-directional Adaptive Attention Gates for Multispectral Pedestrian Detection
Xiaoxiao Yang, Yeqian Qiang, Huijie Zhu +2
Thermal infrared (TIR) image has proven effectiveness in providing temperature cues to the RGB features for multispectral pedestrian detection. Most existing methods directly injec…
cs.PL2016★ 4 cited
Proving Linearizability via Branching Bisimulation
Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin +1
Linearizability and progress properties are key correctness notions for concurrent objects. However, model checking linearizability has suffered from the PSPACE-hardness of the tra…