SDTGAN: Generation Adversarial Network for Spectral Domain Translation of Remote Sensing Images of the Earth Background Based on Shared Latent Domain.

[BibT_eX]

[DOI]

Biao Wang

Lingxuan Zhu

Xing Guo

Xiaobing Wang

Jiaji Wu

Remote. Sens., 2022

A novel load balancing scheme for mobile edge computing.

[BibT_eX]

[DOI]

J. Syst. Softw., 2022

Metagenomic Analysis Reveals A Possible Association Between Respiratory Infection and Periodontitis.

[BibT_eX]

[DOI]

Genom. Proteom. Bioinform., 2022

DMTNet: Dynamic Multi-scale Network for Dual-pixel Images Defocus Deblurring with Transformer.

[BibT_eX]

[DOI]

Dafeng Zhang

Xiaobing Wang

CoRR, 2022

SwinFIR: Revisiting the SwinIR with Fast Fourier Convolution and Improved Training for Image Super-Resolution.

[BibT_eX]

[DOI]

CoRR, 2022

AIM 2022 Challenge on Super-Resolution of Compressed Image and Video: Dataset, Methods and Results.

[BibT_eX]

[DOI]

CoRR, 2022

Formalization of Natural Language into PPTL Specification via Neural Machine Translation.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2022

Dynamic Multi-Scale Network for Dual-Pixel Images Defocus Deblurring with Transformer.

[BibT_eX]

[DOI]

Dafeng Zhang

Xiaobing Wang

Proceedings of the IEEE International Conference on Multimedia and Expo, 2022

AIM 2022 Challenge on Super-Resolution of Compressed Image and Video: Dataset, Methods and Results.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2022 Workshops, 2022

MIPI 2022 Challenge on Under-Display Camera Image Restoration: Methods and Results.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2022 Workshops, 2022

Driver Violation Prediction based on Neural Network.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

Formal Modeling and Verification of Convolutional Neural Networks based on MSVL.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

2021

A Novel Load Balancing Scheme for Mobile Edge Computing.

[BibT_eX]

[DOI]

CoRR, 2021

A Practical Method based on MSVL for Verification of Social Network.

[BibT_eX]

[DOI]

Xiaoyu Yang

Xiaobing Wang

Proceedings of the 8th International Conference on Dependable Systems and Their Applications, 2021

Verification of CTCS-3 using TMSVL.

[BibT_eX]

[DOI]

Yining Wang

Chunyi Li

Xiaobing Wang

Proceedings of the 8th International Conference on Dependable Systems and Their Applications, 2021

2020

GPU-Accelerated Computation of Time-Evolving Electromagnetic Backscattering Field From Large Dynamic Sea Surfaces.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2020

A sound and complete proof system for a unified temporal logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

Efficient decision procedure for propositional projection temporal logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

An MSVL-Based Modeling Framework for Back Propagation Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

Runtime Verification of Ethereum Smart Contracts Based on MSVL.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

Automatic Generation of Specification from Natural Language Based on Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

An MSVL Based Model Checking Method for Multi-threaded C Programs.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

A Formal Verification Method for Smart Contract.

[BibT_eX]

[DOI]

Xiaobing Wang

Xiaoyu Yang

Chunyi Li

Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020

2019

Model checking of pushdown systems for projection temporal logic.

[BibT_eX]

[DOI]

Liang Zhao

Xiaobing Wang

Zhenhua Duan

Theor. Comput. Sci., 2019

Detection of People With Camouflage Pattern Via Dense Deconvolution Network.

[BibT_eX]

[DOI]

IEEE Signal Process. Lett., 2019

Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

Model Checking Python Programs with MSVL.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

Arbitrary Shape Scene Text Detection With Adaptive Text Region Representation.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2019

Reinforcement Learning Based on Multi-subnet Clusters.

[BibT_eX]

[DOI]

Xiaobing Wang

Gang Liu

Proceedings of the CSAI 2019: 2019 3rd International Conference on Computer Science and Artificial Intelligence, 2019

A Proof System for a Unified Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics - 25th International Conference, 2019

2018

Parallel Computation of EM Backscattering from Large Three-Dimensional Sea Surface with CUDA.

[BibT_eX]

[DOI]

Sensors, 2018

Runtime Verification Method for Social Network Security Based on Source Code Instrumentation.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

Model Checking Java Programs with MSVL.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

R<sup>2</sup> CNN: Rotational Region CNN for Arbitrarily-Oriented Scene Text Detection.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Pattern Recognition, 2018

2017

Two-layer hybrid peer-to-peer networks.

[BibT_eX]

[DOI]

Peer-to-Peer Netw. Appl., 2017

A hierarchical recursive method for text detection in natural scene images.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2017

MSVL: a typed language for temporal logic programming.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2017

R2CNN: Rotational Region CNN for Orientation Robust Scene Text Detection.

[BibT_eX]

[DOI]

CoRR, 2017

A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

Extending UML for Model Checking.

[BibT_eX]

[DOI]

Xinfeng Shu

Mengnan Wang

Xiaobing Wang

Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

Deep Residual Text Detection Network for Scene Text.

[BibT_eX]

[DOI]

Proceedings of the 14th IAPR International Conference on Document Analysis and Recognition, 2017

End-to-End Scene Text Recognition in Videos Based on Multi Frame Tracking.

[BibT_eX]

[DOI]

Proceedings of the 14th IAPR International Conference on Document Analysis and Recognition, 2017

2016

An efficient depth map filtering based on spatial and texture features for 3D video coding.

[BibT_eX]

[DOI]

Neurocomputing, 2016

Runtime Verification Monitor Construction for Three-valued PPTL.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

2015

Natural scene text detection with multi-layer segmentation and higher order conditional random field based analysis.

[BibT_eX]

[DOI]

Pattern Recognit. Lett., 2015

A structural transformation from p-π to MSVL.

[BibT_eX]

[DOI]

J. Comb. Optim., 2015

Verification of distributed systems with the axiomatic system of MSVL.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2015

A Method Based on MSVL for Verification of the Social Network Privacy Policy.

[BibT_eX]

[DOI]

Xiaobing Wang

Tao Sun

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

Protection schemes for distribution lines in DC power grid.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Innovative Smart Grid Technologies, 2015

2014

Intra Mode Selection for Depth Map Coding in 3D-HEVC.

[BibT_eX]

[DOI]

Smart Comput. Rev., 2014

Early SKIP mode decision for three-dimensional high efficiency video coding using spatial and interview correlations.

[BibT_eX]

[DOI]

J. Electronic Imaging, 2014

2013

Formalizing and Implementing Types in MSVL.

[BibT_eX]

[DOI]

Xiaobing Wang

Zhenhua Duan

Liang Zhao

Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

Natural Scene Text Detection with Multi-channel Connected Component Segmentation.

[BibT_eX]

[DOI]

Xiaobing Wang

Yonghong Song

Yuanlin Zhang

Proceedings of the 12th International Conference on Document Analysis and Recognition, 2013

Application of Terahertz Technology on RCS Measurement.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, 2013

2012

A RFID based e-STOP sign and its impacts to vehicle emissions.

[BibT_eX]

[DOI]

Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, 2012

Time Constraints with Temporal Logic Programming.

[BibT_eX]