default search action
Xiaobing Wang
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j22]Liang Zhao
, Xinmin Duan, Chenglong Yang, Yuehao Liu
Efficient verification of neural networks based on neuron branching and LP abstraction. Neurocomputing 596: 127936 (2024) - [j21]Xiaobing Wang, Chunyi Li
Requirement specification extraction and analysis based on propositional projection temporal logic. J. Softw. Evol. Process. 36(4) (2024) - [i9]Yingying Jiang, Hanchao Jia, Xiaobing Wang, Peng Hao:
HyCIR: Boosting Zero-Shot Composed Image Retrieval with Synthetic Labels. CoRR abs/2407.05795 (2024) - [i8]Peng Hao, Xiaobing Wang, Yingying Jiang, Hanchao Jia, Xiaoshuai Hao:
BCTR: Bidirectional Conditioning Transformer for Scene Graph Generation. CoRR abs/2407.18715 (2024) - 2023
- [j20]Zhenzhen Lu, Jingpeng Miao
Automatic classification of retinal diseases with transfer learning-based lightweight convolutional neural network. Biomed. Signal Process. Control. 81: 104365 (2023) - [j19]Yunfei Zheng
Self-distillation object segmentation via pyramid knowledge representation and transfer. Multim. Syst. 29(5): 2615-2631 (2023) - [c44]Dafeng Zhang, Jia Ouyang, Guanqun Liu, Xiaobing Wang, Xiangyu Kong, Zhezhu Jin:
FF-Former: Swin Fourier Transformer for Nighttime Flare Removal. CVPR Workshops 2023: 2824-2832 - [c43]Yuekun Dai, Chongyi Li, Shangchen Zhou, Ruicheng Feng, Qingpeng Zhu, Qianhui Sun, Wenxiu Sun, Chen Change Loy, Jinwei Gu, Shuai Liu, Hao Wang, Chaoyu Feng, Luyang Wang, Guangqi Shao, Chenguang Zhang, Xiaotao Wang, Lei Lei, Dafeng Zhang, Xiangyu Kong, Guanqun Liu, Mengmeng Bai, Jia Ouyang, Xiaobing Wang, Jiahui Yuan, Xinpeng Li, Chengzhi Jiang, Ting Jiang, Wenjie Lin, Qi Wu, Mingyan Han, Jinting Luo, Lei Yu, Haoqiang Fan, Shuaicheng Liu, Bo Yan, Zhuang Li, Yadong Li, Hongbin Wang, Soonyong Song, Minghan Fu, Rayyan Azam Khan, Fang-Xiang Wu, Zhao Zhang, Suiyi Zhao, Huan Zheng, Yangcheng Gao, Yanyan Wei, Jiahuan Ren, Bo Wang, Yan Luo, Shuaibo Gao, Wenhui Wu, Sicong Kang, Nikhil Akalwadi, Ankit Raichur, Vinod Patil, Allabakash Ghodesawar, Swaroop Adrashyappanamath, Amogh Joshi, Chaitra Desai, Ramesh Ashok Tabib, Ujwala Patil, Uma Mudenagudi, Sicheng Li, Ruoxi Zhu, Jiazheng Lian, Shusong Xu, Zihao Liu, Sabari Nathan, Priya Kansal:
MIPI 2023 Challenge on Nighttime Flare Removal: Methods and Results. CVPR Workshops 2023: 2853-2863 - [c42]Yuyang Zhang, Jiangcheng Wang, Xiaobing Wang, Yingnan Wang, Sijiang Yu:
Research and Application of Loitering Detection Based on Deep Learning. DSA 2023: 339-346 - [c41]Dafeng Zhang, Xiaobing Wang, Zhezhu Jin:
MRNET: Multi-Refinement Network for Dual-Pixel Images Defocus Deblurring. ICASSP 2023: 1-5 - [c40]Shuai Shen, Wanhua Li, Xiaobing Wang, Dafeng Zhang, Zhezhu Jin, Jie Zhou, Jiwen Lu:
CLIP-Cluster: CLIP-Guided Attribute Hallucination for Face Clustering. ICCV 2023: 20729-20738 - 2022
- [j18]Zhenwei Liu
Metagenomic Analysis Reveals A Possible Association Between Respiratory Infection and Periodontitis. Genom. Proteom. Bioinform. 20(2): 260-273 (2022) - [j17]Zhenhua Duan, Cong Tian, Nan Zhang
A novel load balancing scheme for mobile edge computing. J. Syst. Softw. 186: 111195 (2022) - [j16]Biao Wang, Lingxuan Zhu
SDTGAN: Generation Adversarial Network for Spectral Domain Translation of Remote Sensing Images of the Earth Background Based on Shared Latent Domain. Remote. Sens. 14(6): 1359 (2022) - [c39]Xingguang Zhu, Jiajun Chang, Weikang Li, Bin Yu, Liang Zhao, Xiaobing Wang:
Driver Violation Prediction based on Neural Network. DSA 2022: 143-152 - [c38]Liang Zhao, Leping Wu, Yu Gao, Xiaobing Wang, Bin Yu:
Formal Modeling and Verification of Convolutional Neural Networks based on MSVL. DSA 2022: 280-289 - [c37]Ruicheng Feng, Chongyi Li, Shangchen Zhou, Wenxiu Sun, Qingpeng Zhu, Jun Jiang, Qingyu Yang, Chen Change Loy, Jinwei Gu, Yurui Zhu, Xi Wang, Xueyang Fu, Xiaowei Hu, Jinfan Hu, Xina Liu, Xiangyu Chen, Chao Dong, Dafeng Zhang, Feiyu Huang, Shizhuo Liu, Xiaobing Wang, Zhezhu Jin, Xuhao Jiang, Guangqi Shao, Xiaotao Wang, Lei Lei, Zhao Zhang, Suiyi Zhao, Huan Zheng, Yangcheng Gao, Yanyan Wei, Jiahuan Ren, Tao Huang, Zhenxuan Fang, Mengluan Huang, Junwei Xu, Yong Zhang, Yuechi Yang, Qidi Shu, Zhiwen Yang, Shaocong Li, Mingde Yao, Ruikang Xu, Yuanshen Guan, Jie Huang, Zhiwei Xiong, Hangyan Zhu, Ming Liu, Shaohui Liu, Wangmeng Zuo, Zhuang Jia, Binbin Song, Ziqi Song, Guiting Mao, Ben Hou, Zhimou Liu, Yi Ke, Dengpei Ouyang, Dekui Han, Jinghao Zhang, Qi Zhu, Naishan Zheng, Feng Zhao, Wu Jin, Marcos V. Conde, Sabari Nathan, Radu Timofte
MIPI 2022 Challenge on Under-Display Camera Image Restoration: Methods and Results. ECCV Workshops (5) 2022: 60-77 - [c36]Ren Yang
AIM 2022 Challenge on Super-Resolution of Compressed Image and Video: Dataset, Methods and Results. ECCV Workshops (3) 2022: 174-202 - [c35]Dafeng Zhang, Xiaobing Wang:
Dynamic Multi-Scale Network for Dual-Pixel Images Defocus Deblurring with Transformer. ICME 2022: 1-6 - [c34]Chunyi Li
Formalization of Natural Language into PPTL Specification via Neural Machine Translation. SOFL+MSVL 2022: 79-92 - [i7]Ren Yang, Radu Timofte, Xin Li, Qi Zhang, Lin Zhang, Fanglong Liu, Dongliang He, Fu Li, He Zheng, Weihang Yuan, Pavel Ostyakov
AIM 2022 Challenge on Super-Resolution of Compressed Image and Video: Dataset, Methods and Results. CoRR abs/2208.11184 (2022) - [i6]Dafeng Zhang, Feiyu Huang, Shizhuo Liu, Xiaobing Wang, Zhezhu Jin:
SwinFIR: Revisiting the SwinIR with Fast Fourier Convolution and Improved Training for Image Super-Resolution. CoRR abs/2208.11247 (2022) - [i5]Dafeng Zhang, Xiaobing Wang:
DMTNet: Dynamic Multi-scale Network for Dual-pixel Images Defocus Deblurring with Transformer. CoRR abs/2209.06040 (2022) - 2021
- [c33]Xiaoyu Yang, Xiaobing Wang:
A Practical Method based on MSVL for Verification of Social Network. DSA 2021: 383-389 - [c32]Yining Wang, Chunyi Li, Xiaobing Wang:
Verification of CTCS-3 using TMSVL. DSA 2021: 722-729 - [i4]Zhenhua Duan, Cong Tian, Nan Zhang, Mengchu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu:
A Novel Load Balancing Scheme for Mobile Edge Computing. CoRR abs/2112.10091 (2021) - 2020
- [j15]Xinfeng Shu, Nan Zhang, Xiaobing Wang, Liang Zhao:
Efficient decision procedure for propositional projection temporal logic. Theor. Comput. Sci. 838: 1-16 (2020) - [j14]Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang:
A sound and complete proof system for a unified temporal logic. Theor. Comput. Sci. 838: 25-44 (2020) - [j13]Longxiang Linghu
GPU-Accelerated Computation of Time-Evolving Electromagnetic Backscattering Field From Large Dynamic Sea Surfaces. IEEE Trans. Ind. Informatics 16(5): 3187-3197 (2020) - [c31]Xiaobing Wang, Xiaoyu Yang, Chunyi Li
A Formal Verification Method for Smart Contract. DSA 2020: 31-36 - [c30]Liang Zhao, Zhe Feng, Xiaobing Wang, Xinfeng Shu:
An MSVL-Based Modeling Framework for Back Propagation Neural Networks. SOFL+MSVL 2020: 3-22 - [c29]Xinfeng Shu, Zhenyu Wang, Weiran Gao, Xiaobing Wang, Liang Zhao:
An MSVL Based Model Checking Method for Multi-threaded C Programs. SOFL+MSVL 2020: 88-101 - [c28]Bin Yu, Xu Lu, Hao Chen, Ming Lei, Xiaobing Wang:
Runtime Verification of Ethereum Smart Contracts Based on MSVL. SOFL+MSVL 2020: 142-153 - [c27]Xiaobing Wang, Ge Li, Chunyi Li
Automatic Generation of Specification from Natural Language Based on Temporal Logic. SOFL+MSVL 2020: 154-171
2010 – 2019
- 2019
- [j12]Yunfei Zheng, Xiongwei Zhang, Feng Wang
Detection of People With Camouflage Pattern Via Dense Deconvolution Network. IEEE Signal Process. Lett. 26(1): 29-33 (2019) - [j11]Liang Zhao, Xiaobing Wang, Zhenhua Duan:
Model checking of pushdown systems for projection temporal logic. Theor. Comput. Sci. 774: 82-94 (2019) - [c26]Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang:
A Proof System for a Unified Temporal Logic. COCOON 2019: 663-676 - [c25]Xiaobing Wang, Gang Liu:
Reinforcement Learning Based on Multi-subnet Clusters. CSAI 2019: 71-76 - [c24]Xiaobing Wang, Yingying Jiang, Zhenbo Luo, Cheng-Lin Liu, Hyunsoo Choi, Sungjin Kim:
Arbitrary Shape Scene Text Detection With Adaptive Text Region Representation. CVPR 2019: 6449-6458 - [c23]Xiaobing Wang, Kun Yang, Yanmei Wang, Liang Zhao, Xinfeng Shu:
Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework. SOFL+MSVL 2019: 73-87 - [c22]Xinfeng Shu, Fengyun Gao, Weiran Gao, Lili Zhang, Xiaobing Wang, Liang Zhao:
Model Checking Python Programs with MSVL. SOFL+MSVL 2019: 205-224 - [i3]Xiaobing Wang, Yingying Jiang, Zhenbo Luo, Cheng-Lin Liu, Hyunsoo Choi, Sungjin Kim:
Arbitrary Shape Scene Text Detection with Adaptive Text Region Representation. CoRR abs/1905.05980 (2019) - 2018
- [j10]Longxiang Linghu
Parallel Computation of EM Backscattering from Large Three-Dimensional Sea Surface with CUDA. Sensors 18(11): 3656 (2018) - [c21]Yingying Jiang, Xiangyu Zhu, Xiaobing Wang, Shuli Yang, Wei Li, Hua Wang, Pei Fu, Zhenbo Luo:
R2 CNN: Rotational Region CNN for Arbitrarily-Oriented Scene Text Detection. ICPR 2018: 3610-3615 - [c20]Xiaobing Wang, Wenxuan Guo, Liang Zhao, Xinfeng Shu:
Runtime Verification Method for Social Network Security Based on Source Code Instrumentation. SOFL+MSVL 2018: 55-70 - [c19]Xinfeng Shu, Na Luo, Bo Wang, Xiaobing Wang, Liang Zhao:
Model Checking Java Programs with MSVL. SOFL+MSVL 2018: 89-107 - 2017
- [j9]Xiaobing Wang, Cong Tian, Zhenhua Duan, Liang Zhao:
MSVL: a typed language for temporal logic programming. Frontiers Comput. Sci. 11(5): 762-785 (2017) - [j8]Xiaobing Wang, Yonghong Song, Yuanlin Zhang, Jingmin Xin:
A hierarchical recursive method for text detection in natural scene images. Multim. Tools Appl. 76(24): 26201-26223 (2017) - [j7]Zhenhua Duan, Cong Tian, Mengchu Zhou, Xiaobing Wang, Nan Zhang, Hongwei Du, Lei Wang:
Two-layer hybrid peer-to-peer networks. Peer-to-Peer Netw. Appl. 10(6): 1304-1322 (2017) - [c18]Xiangyu Zhu, Yingying Jiang, Shuli Yang, Xiaobing Wang, Wei Li, Pei Fu, Hua Wang, Zhenbo Luo:
Deep Residual Text Detection Network for Scene Text. ICDAR 2017: 807-812 - [c17]Xiaobing Wang, Yingying Jiang, Shuli Yang, Xiangyu Zhu, Wei Li, Pei Fu, Hua Wang, Zhenbo Luo:
End-to-End Scene Text Recognition in Videos Based on Multi Frame Tracking. ICDAR 2017: 1255-1260 - [c16]Xinfeng Shu, Mengnan Wang, Xiaobing Wang:
Extending UML for Model Checking. SOFL+MSVL 2017: 88-107 - [c15]Xiaobing Wang, Liyuan Ren, Liang Zhao, Xinfeng Shu:
A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks. SOFL+MSVL 2017: 133-147 - [i2]Yingying Jiang, Xiangyu Zhu, Xiaobing Wang, Shuli Yang, Wei Li, Hua Wang, Pei Fu, Zhenbo Luo:
R2CNN: Rotational Region CNN for Orientation Robust Scene Text Detection. CoRR abs/1706.09579 (2017) - [i1]Xiangyu Zhu, Yingying Jiang, Shuli Yang, Xiaobing Wang, Wei Li, Pei Fu, Hua Wang, Zhenbo Luo:
Deep Residual Text Detection Network for Scene Text. CoRR abs/1711.04147 (2017) - 2016
- [j6]Qiuwen Zhang, Ming Chen, Hao-Dong Zhu, Xiaobing Wang, Yong Gan:
An efficient depth map filtering based on spatial and texture features for 3D video coding. Neurocomputing 188: 82-89 (2016) - [c14]Xiaobing Wang, Dongmiao Liu, Liang Zhao, Yina Xue:
Runtime Verification Monitor Construction for Three-valued PPTL. SOFL+MSVL 2016: 144-159 - 2015
- [j5]Qian Ma, Zhenhua Duan, Nan Zhang, Xiaobing Wang:
Verification of distributed systems with the axiomatic system of MSVL. Formal Aspects Comput. 27(1): 103-131 (2015) - [j4]Ling Luo, Zhenhua Duan, Cong Tian, Xiaobing Wang:
A structural transformation from p-π to MSVL. J. Comb. Optim. 29(1): 308-329 (2015) - [j3]Xiaobing Wang
Natural scene text detection with multi-layer segmentation and higher order conditional random field based analysis. Pattern Recognit. Lett. 60-61: 41-47 (2015) - [c13]Zaibin Jiao, Zhao Wang, Xiaobing Wang, Jiliang Jin, Wu Xing, Chongxi Jiang:
Protection schemes for distribution lines in DC power grid. ISGT Asia 2015: 1-6 - [c12]Xiaobing Wang, Tao Sun:
A Method Based on MSVL for Verification of the Social Network Privacy Policy. SOFL+MSVL 2015: 118-131 - 2014
- [j2]Qiuwen Zhang, Qinggang Wu, Xiaobing Wang, Yong Gan:
Early SKIP mode decision for three-dimensional high efficiency video coding using spatial and interview correlations. J. Electronic Imaging 23(5): 053017 (2014) - [j1]Qiuwen Zhang, Ming Chen, Lixun Huang, Qiliang Zhu, Xiaobing Wang, Yong Gan:
Intra Mode Selection for Depth Map Coding in 3D-HEVC. Smart Comput. Rev. 4(5): 360-370 (2014) - 2013
- [c11]Xiaobing Wang, Xin Huang, Yajun Wu, Fei Dai, Li Li:
Application of Terahertz Technology on RCS Measurement. GreenCom/iThings/CPScom 2013: 1587-1590 - [c10]Xiaobing Wang, Yonghong Song, Yuanlin Zhang:
Natural Scene Text Detection with Multi-channel Connected Component Segmentation. ICDAR 2013: 1375-1379 - [c9]Xiaobing Wang, Zhenhua Duan, Liang Zhao:
Formalizing and Implementing Types in MSVL. SOFL+MSVL 2013: 62-75 - 2012
- [c8]Meng Han, Zhenhua Duan, Xiaobing Wang:
Time Constraints with Temporal Logic Programming. ICFEM 2012: 266-282 - [c7]Fengxiang Qiao, Jinghui Wang, Xiaobing Wang, Jing Jia, Lei Yu:
A RFID based e-STOP sign and its impacts to vehicle emissions. ITSC 2012: 206-211 - 2011
- [c6]Jin Zhang, Yonghong Song, Yuanlin Zhang, Xiaobing Wang:
A new approach of color image quantization based on Normalized Cut algorithm. ACPR 2011: 451-455 - [c5]Dapeng Mo, Xiaobing Wang, Zhenhua Duan:
Asynchronous Communication in MSVL. ICFEM 2011: 82-97 - 2010
- [c4]Youshi He, Xiaobing Wang:
Realization of XML-Based ETL Process of the Regional Health Information System. ICEE 2010: 4276-4278 - [c3]Haibin Zhang, Zhenhua Duan, Bohu Huang, Xiaobing Wang, Long Zhang:
Model Checking Rectangular Hybrid Systems with Timed Computation Tree Logic. TASE 2010: 126-131
2000 – 2009
- 2007
- [c2]Shouwen Fan, Xiaobing Wang, Mingquan Shi, Hongzhong Huang:
Study on Interpolation Principle and Method for 1PS+4TPS Type Hybrid Machine Tool. ICNC (5) 2007: 124-129 - [c1]Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang:
An Interpreter for Framed Tempura and Its Application. TASE 2007: 251-260
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: