Jinjin Zhang

Artif. Intell., 2023

2022

Encoding safety in CLLR.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2022

Maneuvering Extended Object Tracking with Modified Star-Convex Random Hypersurface Model Based on Minimum Cosine Distance.

[BibT_eX]

[DOI]

Remote. Sens., 2022

Tracking of Maneuvering Extended Target Using Modified Variable Structure Multiple-Model Based on Adaptive Grid Best Model Augmentation.

[BibT_eX]

[DOI]

Remote. Sens., 2022

Visual Object Tracking for Unmanned Aerial Vehicles Based on the Template-Driven Siamese Network.

[BibT_eX]

[DOI]

Remote. Sens., 2022

Hausdorff IoU and Context Maximum Selection NMS: Improving Object Detection in Remote Sensing Images With a Novel Metric and Postprocessing Module.

[BibT_eX]

[DOI]

IEEE Geosci. Remote. Sens. Lett., 2022

Multi-scale and multi-channel neural network for click-through rate prediction.

[BibT_eX]

[DOI]

Neurocomputing, 2022

The application and effect of smartphones and an online tutoring system CSIEC for vocabulary drilling through nine semesters.

[BibT_eX]

[DOI]

Jiyou Jia

Zhenzhen Chen

Int. J. Mob. Learn. Organisation, 2022

Combining feature importance and neighbor node interactions for cold start recommendation.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2022

A calculus for epistemic interactions.

[BibT_eX]

[DOI]

Huili Xing

CoRR, 2022

Hierarchical attention and feature projection for click-through rate prediction.

[BibT_eX]

[DOI]

Appl. Intell., 2022

2021

Recurrent convolutional neural network for session-based recommendation.

[BibT_eX]

[DOI]

Neurocomputing, 2021

Image fusion algorithm in Integrated Space-Ground-Sea Wireless Networks of B5G.

[BibT_eX]

[DOI]

EURASIP J. Adv. Signal Process., 2021

Improving current interest with item and review sequential patterns for sequential recommendation.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2021

BDDC algorithms for advection-diffusion problems with HDG discretizations.

[BibT_eX]

[DOI]

Xuemin Tu

Comput. Math. Appl., 2021

MBPI: Mixed behaviors and preference interaction for session-based recommendation.

[BibT_eX]

[DOI]

Appl. Intell., 2021

The Determination of the Equivalence of Causal Theories.

[BibT_eX]

[DOI]

Yu Wang

Proceedings of the ICMLC 2021: 13th International Conference on Machine Learning and Computing, 2021

Representation and Correlation Enhanced Encoder-Decoder Framework for Scene Text Recognition.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Document Analysis and Recognition, 2021

2020

A hierarchical game-based power allocation algorithm in 5G heterogeneous integrated networks.

[BibT_eX]

[DOI]

EURASIP J. Wirel. Commun. Netw., 2020

On graded semantics of abstract argumentation: Extension-based case.

[BibT_eX]

[DOI]

Lixing Tan

CoRR, 2020

Secure and Privacy-Preserving Data Computing Scheme Based on Blockchain for Double-Loop Governance of Smart Society.

[BibT_eX]

[DOI]

Proceedings of the ICBTA 2020: The 3rd International Conference on Blockchain Technology and Applications, 2020

2019

Geometric distortion correction for streak camera imaging.

[BibT_eX]

[DOI]

Ailin Liu

Baoping Guo

J. Electronic Imaging, 2019

Covariant-Contravariant Refinement Modal Logic.

[BibT_eX]

[DOI]

Huili Xing

FLAP, 2019

A Feasible Framework for Arbitrary-Shaped Scene Text Recognition.

[BibT_eX]

[DOI]

CoRR, 2019

Time Series Imputation via Integration of Revealed Information Based on the Residual Shortcut Connection.

[BibT_eX]

[DOI]

IEEE Access, 2019

2018

Pose-Based Two-Stream Relational Networks for Action Recognition in Videos.

[BibT_eX]

[DOI]

CoRR, 2018

2017

MB-SWIFT functional MRI during deep brain stimulation in rats.

[BibT_eX]

[DOI]

NeuroImage, 2017

2016

Lock3DFace: A large-scale database of low-cost Kinect 3D faces.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Biometrics, 2016

2015

On recursive operations over logic LTS.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2015

Axiomatizing Lüttgen & Vogler's ready simulation for finite processes in CLLR.

[BibT_eX]

[DOI]

J. Appl. Log., 2015

On the greatest solution of equations in CLLR.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2015

Axiomatizing Lüttgen and Vogler's ready simulation for finite processes in CLLR.

[BibT_eX]

[DOI]

CoRR, 2015

2014

A modal characterization of alternating approximate bisimilarity.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2014

Greatest solutions of equations in $\text{CLL}_R$ and its application.

[BibT_eX]

[DOI]

CoRR, 2014

3-Party Loan Contract Based Purchase-Order Financing.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Joint Conference on Computational Sciences and Optimization, 2014

2012

Detection of calcifications in vivo and ex vivo after brain injury in rat using SWIFT.

[BibT_eX]

[DOI]

NeuroImage, 2012

Merging Process Algebra and Action-based Computation Tree Logic

[BibT_eX]

[DOI]

CoRR, 2012

A control strategy algorithm for finite alternating transition systems

[BibT_eX]

[DOI]

Jianfei Yang

CoRR, 2012

A Process Calculus with Logical Operators

[BibT_eX]

[DOI]

CoRR, 2012

Satisfaction of Temporal Logic by Control Systems and Finite Abstractions.

[BibT_eX]

[DOI]

Lisong Wang

Proceedings of the 7th IFAC Symposium on Robust Control Design, 2012

2010

Multi-image space resection based geometric calibration for Four bands CCD camera.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2010

2009

A Novel Method of Medical Image Registration Based on DTCWT and NPSO.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Natural Computation, 2009

2008

Characterize branching distance in terms of (eta, alpha)-bisimilarity.

[BibT_eX]

[DOI]

Inf. Comput., 2008

A Behavioural Pseudometric based on lambda-Bisimilarity.

[BibT_eX]

[DOI]

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

2007

A Modal Characterization of λ-Bisimilarity.

[BibT_eX]

[DOI]