2025
Ultra-High-Resolution Image Synthesis: Data, Method and Evaluation.
CoRR, June, 2025
A balancing domain decomposition by constraints preconditioner for a hybridizable discontinuous Galerkin discretization of an elliptic optimal control problem.
CoRR, April, 2025
Hyperspectral Images Change Detection Based on Dense Multi-scale Attention for Land Resource Auditing.
KSII Trans. Internet Inf. Syst., March, 2025
An extension of process calculus for asynchronous communications between agents with epistemic states.
Frontiers Comput. Sci., March, 2025
Spatial-Spectral Feature-Enhanced Mamba and SAM-Guided Hyperspectral Multiclass Change Detection.
IEEE Trans. Geosci. Remote. Sens., 2025
Joint Representation Learning Based on Feature Center Region Diffusion and Edge Radiation for Cross-View Geo-Localization.
IEEE Trans. Geosci. Remote. Sens., 2025
GEC: A novel and efficient classifier based on granular-ellipsoid model.
Inf. Sci., 2025
Triple Sparse Denoising Discriminantive Least Squares Regression for image classification.
Inf. Process. Manag., 2025
Reduced meet over labelling-based semantics in abstract argumentation.
Inf. Process. Lett., 2025
Attribute reduction based on a rapid variable granular ball generation model.
Expert Syst. Appl., 2025
Time-varying coefficient spatial panel interval-valued models and applications.
Commun. Nonlinear Sci. Numer. Simul., 2025
Towards Training-free Anomaly Detection with Vision and Language Foundation Models.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025
Diffusion-4K: Ultra-High-Resolution Image Synthesis with Latent Diffusion Models.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025
Unveiling the Knowledge of CLIP for Training-Free Open-Vocabulary Semantic Segmentation.
Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025
2024
Exploration and Exploitation of Unlabeled Data for Open-Set Semi-supervised Learning.
Int. J. Comput. Vis., December, 2024
Dominant causal factors of failure performance of cross-jointed segmental lining.
Commun. Nonlinear Sci. Numer. Simul., March, 2024
OTAMatch: Optimal Transport Assignment With PseudoNCE for Semi-Supervised Learning.
IEEE Trans. Image Process., 2024
Locally linear method for fixed effects panel interval-valued data model.
Knowl. Based Syst., 2024
E-learning application in immersive music entertainment teaching system based on genetic network algorithm.
Entertain. Comput., 2024
ONER: Online Experience Replay for Incremental Anomaly Detection.
CoRR, 2024
More on Maximally Permissive Similarity Control of Discrete Event Systems.
CoRR, 2024
Investigating Compositional Challenges in Vision-Language Models for Visual Grounding.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024
2023
Hierarchical Neural Network with Serial Attention Mechanism for Review Sentiment Classifification.
Neural Process. Lett., December, 2023
An apollonius circle based game theory and Q-learning for cooperative hunting in unmanned aerial vehicle cluster.
Comput. Electr. Eng., September, 2023
DFS-KeyLevel: A Two-Layer Test Scenario Generation Approach for UML Activity Diagram.
J. Electron. Test., February, 2023
Graded labellings for abstract argumentation.
Int. J. Approx. Reason., 2023
Dual cross-domain session-based recommendation with multi-channel integration.
AI Commun., 2023
A general approach to extension-based semantics in abstract argumentation.
Artif. Intell., 2023
2022
Encoding safety in CLL<sub><i>R</i></sub>.
Theor. Comput. Sci., 2022
Maneuvering Extended Object Tracking with Modified Star-Convex Random Hypersurface Model Based on Minimum Cosine Distance.
Remote. Sens., 2022
Tracking of Maneuvering Extended Target Using Modified Variable Structure Multiple-Model Based on Adaptive Grid Best Model Augmentation.
Remote. Sens., 2022
Visual Object Tracking for Unmanned Aerial Vehicles Based on the Template-Driven Siamese Network.
Remote. Sens., 2022
Hausdorff IoU and Context Maximum Selection NMS: Improving Object Detection in Remote Sensing Images With a Novel Metric and Postprocessing Module.
IEEE Geosci. Remote. Sens. Lett., 2022
Multi-scale and multi-channel neural network for click-through rate prediction.
Neurocomputing, 2022
The application and effect of smartphones and an online tutoring system CSIEC for vocabulary drilling through nine semesters.
Int. J. Mob. Learn. Organisation, 2022
Combining feature importance and neighbor node interactions for cold start recommendation.
Eng. Appl. Artif. Intell., 2022
A calculus for epistemic interactions.
CoRR, 2022
Hierarchical attention and feature projection for click-through rate prediction.
Appl. Intell., 2022
2021
Recurrent convolutional neural network for session-based recommendation.
Neurocomputing, 2021
Image fusion algorithm in Integrated Space-Ground-Sea Wireless Networks of B5G.
EURASIP J. Adv. Signal Process., 2021
Improving current interest with item and review sequential patterns for sequential recommendation.
Eng. Appl. Artif. Intell., 2021
BDDC algorithms for advection-diffusion problems with HDG discretizations.
Comput. Math. Appl., 2021
MBPI: Mixed behaviors and preference interaction for session-based recommendation.
Appl. Intell., 2021
The Determination of the Equivalence of Causal Theories.
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.
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.
EURASIP J. Wirel. Commun. Netw., 2020
On graded semantics of abstract argumentation: Extension-based case.
CoRR, 2020
Secure and Privacy-Preserving Data Computing Scheme Based on Blockchain for Double-Loop Governance of Smart Society.
Proceedings of the ICBTA 2020: The 3rd International Conference on Blockchain Technology and Applications, 2020
2019
Geometric distortion correction for streak camera imaging.
J. Electronic Imaging, 2019
Covariant-Contravariant Refinement Modal Logic.
FLAP, 2019
A Feasible Framework for Arbitrary-Shaped Scene Text Recognition.
CoRR, 2019
Time Series Imputation via Integration of Revealed Information Based on the Residual Shortcut Connection.
IEEE Access, 2019
2018
Pose-Based Two-Stream Relational Networks for Action Recognition in Videos.
CoRR, 2018
2017
MB-SWIFT functional MRI during deep brain stimulation in rats.
NeuroImage, 2017
2016
Lock3DFace: A large-scale database of low-cost Kinect 3D faces.
Proceedings of the International Conference on Biometrics, 2016
2015
On recursive operations over logic LTS.
Math. Struct. Comput. Sci., 2015
Axiomatizing Lüttgen & Vogler's ready simulation for finite processes in CLL<sub>R</sub>.
J. Appl. Log., 2015
On the greatest solution of equations in CLL<sub>R</sub>.
Inf. Process. Lett., 2015
Axiomatizing Lüttgen and Vogler's ready simulation for finite processes in CLL<sub>R</sub>.
CoRR, 2015
2014
A modal characterization of alternating approximate bisimilarity.
Formal Methods Syst. Des., 2014
Greatest solutions of equations in $\text{CLL}_R$ and its application.
CoRR, 2014
3-Party Loan Contract Based Purchase-Order Financing.
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.
NeuroImage, 2012
Merging Process Algebra and Action-based Computation Tree Logic
CoRR, 2012
A control strategy algorithm for finite alternating transition systems
CoRR, 2012
A Process Calculus with Logical Operators
CoRR, 2012
Satisfaction of Temporal Logic by Control Systems and Finite Abstractions.
Proceedings of the 7th IFAC Symposium on Robust Control Design, 2012
2010
Multi-image space resection based geometric calibration for Four bands CCD camera.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2010
2009
A Novel Method of Medical Image Registration Based on DTCWT and NPSO.
Proceedings of the Fifth International Conference on Natural Computation, 2009
2008
Characterize branching distance in terms of (eta, alpha)-bisimilarity.
Inf. Comput., 2008
A Behavioural Pseudometric based on lambda-Bisimilarity.
Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008
2007
A Modal Characterization of λ-Bisimilarity.
Int. J. Softw. Informatics, 2007