Login / Signup
Kaisheng Wu
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 3
Top Topics
Semantic Segmentation
Petri Net
Winning Strategy
Sat Solvers
Top Venues
AAMAS
ACM Multimedia
IJCAI
</>
Publications
</>
Bicheng Dai
,
Kaisheng Wu
,
Tong Wu
,
Kai Li
,
Yanyun Qu
,
Yuan Xie
,
Yun Fu
Faster-PPN: Towards Real-Time Semantic Segmentation with Dual Mutual Learning for Ultra-High Resolution Images.
ACM Multimedia
(2021)
Kaisheng Wu
,
Liangda Fang
,
Liping Xiong
,
Zhao-Rong Lai
,
Yong Qiao
,
Kaidong Chen
,
Fei Rong
Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers.
IJCAI
(2020)
Kaisheng Wu
,
Yong Qiao
,
Kaidong Chen
,
Fei Rong
,
Liangda Fang
,
Zhao-Rong Lai
,
Qian Dong
,
Liping Xiong
Automatic Synthesis of Generalized Winning Strategy of Impartial Combinatorial Games.
AAMAS
(2020)