2025
Vulnerabilities and Security Patches Detection in OSS: A Survey.
ACM Comput. Surv., January, 2025
Tiered matching model considering quality compatibility in two-sided markets.
Expert Syst. Appl., 2025
Co-registration method of wearable magnetocardiography system and CT.
,
,
,
,
,
,
,
,
,
,
,
Biomed. Signal Process. Control., 2025
2024
Correlation-Embedded Transformer Tracking: A Single-Branch Framework.
IEEE Trans. Pattern Anal. Mach. Intell., December, 2024
Revisiting the potential value of vital signs in the real-time prediction of mortality risk in intensive care unit patients.
J. Big Data, December, 2024
A Collaborative Multimodal Learning-Based Framework for COVID-19 Diagnosis.
IEEE Trans. Neural Networks Learn. Syst., November, 2024
Efficient Path Planning Algorithm Based on Laser SLAM and an Optimized Visibility Graph for Robots.
Remote. Sens., August, 2024
An Improved Constant Active Power Control for Three-Phase Buck Rectifier Under Unbalanced Input Voltages and Wide AC Input Frequency.
IEEE Trans. Circuits Syst. II Express Briefs, July, 2024
Selective Transfer Based Evolutionary Multitasking Optimization for Change Detection.
IEEE Trans. Emerg. Top. Comput. Intell., June, 2024
ULG-SLAM: A Novel Unsupervised Learning and Geometric Feature-Based Visual SLAM Algorithm for Robot Localizability Estimation.
Remote. Sens., June, 2024
Sparse Hyperspectral Unmixing With Preference-Based Evolutionary Multiobjective Multitasking Optimization.
IEEE Trans. Emerg. Top. Comput. Intell., April, 2024
Cut-set matrix methods for frequency response analysis curves of lumped parameter equivalent circuit model of three-winding power transformer.
Int. J. Circuit Theory Appl., March, 2024
Star-XP: A simulation framework for Polar-2/ low energy X-ray polarization detector.
SoftwareX, February, 2024
An EEG abnormality detection algorithm based on graphic attention network.
Multim. Tools Appl., February, 2024
GA-Net: A geographical attention neural network for the segmentation of body torso tissue composition.
Medical Image Anal., January, 2024
CRTrack: Learning Correlation-Refine network for visual object tracking.
Pattern Recognit., 2024
A novel scenic spots assessment and recommendation method based on network attention: augmented mining model using probabilistic linguistic term set combined with VIKOR.
Kybernetes, 2024
Research on the Geographical Pattern, Evolution Model, and Driving Mechanism of Carbon Emission Density from Urban Industrial Land in the Yangtze River Economic Belt of China.
ISPRS Int. J. Geo Inf., 2024
PredFormer: Transformers Are Effective Spatial-Temporal Predictive Learners.
CoRR, 2024
P2P: Part-to-Part Motion Cues Guide a Strong Tracking Framework for LiDAR Point Clouds.
CoRR, 2024
Concolic Testing of JavaScript using Sparkplug.
CoRR, 2024
Enhancing Compiler Transformation Robustness with Large Language Models.
CoRR, 2024
Diagnosing Fault Types and Degrees of Transformer Winding Combining FRA Method With SOA-KELM.
IEEE Access, 2024
Multiplication-Free Equalization Schemes for 244-Gbps PAM-4 Transmission.
Proceedings of the Optical Fiber Communications Conference and Exhibition, 2024
QuadMamba: Learning Quadtree-based Selective Scan for Visual State Space Model.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024
Towards Category Unification of 3D Single Object Tracking on Point Clouds.
Proceedings of the Twelfth International Conference on Learning Representations, 2024
A Community Detection Algorithm for Multi-View Attributed Network.
Proceedings of the 16th International Conference on Computer and Automation Engineering, 2024
A BDI Agent-Based Asynchronous Scheduling Framework For Cloud Computing.
Proceedings of the IEEE International Conference on Agents, 2024
The Collaborative Intelligent Mathematics Tutoring Agent Platform.
Proceedings of the IEEE International Conference on Agents, 2024
DiffusionTrack: Point Set Diffusion Model for Visual Object Tracking.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024
2023
A Small Intestinal Stromal Tumor Detection Method Based on an Attention Balance Feature Pyramid.
Sensors, December, 2023
A hybrid computing framework for risk-oriented reliability analysis in dynamic PSA context: A case study.
Qual. Reliab. Eng. Int., December, 2023
Cutout with patch-loss augmentation for improving generative adversarial networks against instability.
Comput. Vis. Image Underst., September, 2023
Few-shot relation classification based on the BERT model, hybrid attention and fusion networks.
Appl. Intell., September, 2023
A Bilevel Gene-Based Multiobjective Memetic Algorithm for Passive Localization System Deployment Optimization.
IEEE Trans. Evol. Comput., April, 2023
Spatial-temporal correlated graph neural networks based on neighborhood feature selection for traffic data prediction.
Appl. Intell., February, 2023
Instance-Guided Point Cloud Single Object Tracking With Inception Transformer.
IEEE Trans. Instrum. Meas., 2023
Incorporating multi-stage spatial visual cues and active localization offset for pancreas segmentation.
Pattern Recognit. Lett., 2023
A new adaptive window-based guided filtering and interpolation for polarization image demosaicing.
IET Image Process., 2023
Smart Fuzzing of 5G Wireless Software Implementation.
CoRR, 2023
Complex Dynamic Analysis, Circuit Design and Simplified Predefined Time Synchronization for a Jerk Absolute Memristor Chaotic System.
Complex., 2023
Backflow Power Optimization of DAB Based on Asymmetric Duty Cycle and Internal Phase Shift Control.
IEEE Access, 2023
Cnnformer: Transformer-Based Semantic Information Enhancement Framework for Behavior Recognition.
IEEE Access, 2023
In-Situ Concolic Testing of JavaScript.
Proceedings of the IEEE International Conference on Software Analysis, 2023
Attacks are Forwarded: Breaking the Isolation of MicroVM-based Containers Through Operation Forwarding.
Proceedings of the 32nd USENIX Security Symposium, 2023
Alzheimer's Disease Early Diagnosis Based on Resting-State Dynamic Functional Connectivity.
Proceedings of the 12th International Conference on Software and Computer Applications, 2023
A Music Labeling Model Based on Traditional Chinese Music Characteristics for Emotional Regulation.
Proceedings of the 12th International Conference on Software and Computer Applications, 2023
Certifying Sequential Consistency of Machine Learning Accelerators.
Proceedings of the Formal Methods and Software Engineering, 2023
Research on Three-Impulse Control System of Boiler Drum Water Level Based on PCS7.
Proceedings of the 3rd International Conference on Electronic Information Technology and Smart Agriculture, 2023
Non-Autoregressive Speech Synthesis by Fusion of CoordConv and Sound Quality.
Proceedings of the IEEE International Conference on Knowledge Graph, 2023
Layer Sparse Transformer for Speech Recognition.
Proceedings of the IEEE International Conference on Knowledge Graph, 2023
Concolic Testing of Front-end JavaScript.
Proceedings of the Fundamental Approaches to Software Engineering, 2023
An Automated Verification Framework for HalideIR-Based Compiler Transformations.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
VideoTrack: Learning to Track Objects via Video Transformer.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023
An Equivalence Checking Framework for Agile Hardware Design.
Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023
Design and Debugging of Transmission Handling Manipulator Control System in Automobile Production Line.
Proceedings of the 2023 International Conference on AI and Metaverse in Supply Chain Management, 2023
2022
Extreme Change Events of Stratospheric HCl and N2O in the Mid-Latitude Region of the Northern Hemisphere.
Remote. Sens., December, 2022
Offspring regeneration method based on bi-level sampling for large-scale evolutionary multi-objective optimization.
Swarm Evol. Comput., 2022
Monitoring Surface Water Inundation of Poyang Lake and Dongting Lake in China Using Sentinel-1 SAR Images.
Remote. Sens., 2022
An Adaptive Surrogate-Assisted Endmember Extraction Framework Based on Intelligent Optimization Algorithms for Hyperspectral Remote Sensing Images.
Remote. Sens., 2022
Identifying a Leading Predictor of Arctic Stratospheric Ozone for April Precipitation in Eastern North America.
Remote. Sens., 2022
FPS: Fast Path Planner Algorithm Based on Sparse Visibility Graph and Bidirectional Breadth-First Search.
Remote. Sens., 2022
Vegetation Dynamics under Rapid Urbanization in the Guangdong-Hong Kong-Macao Greater Bay Area Urban Agglomeration during the Past Two Decades.
Remote. Sens., 2022
A Robot Pose Estimation Optimized Visual SLAM Algorithm Based on CO-HDC Instance Segmentation Network for Dynamic Scenes.
Remote. Sens., 2022
Convolutionally evaluated gradient first search path planning algorithm without prior global maps.
Robotics Auton. Syst., 2022
Spatial-temporal dynamic semantic graph neural network.
Neural Comput. Appl., 2022
Representation learning from noisy user-tagged data for sentiment classification.
Int. J. Mach. Learn. Cybern., 2022
Trust, Incomplete Contracting, and Corporate Innovation.
Manag. Sci., 2022
Defending local poisoning attacks in multi-party learning via immune system.
Knowl. Based Syst., 2022
Graph-based cognitive diagnosis for intelligent tutoring systems.
Knowl. Based Syst., 2022
Siamese Transformer Network: Building an autonomous real-time target tracking system for UAV.
J. Syst. Archit., 2022
Deep objectness hashing using large weakly tagged photos.
Neurocomputing, 2022
Enhance prototypical networks with hybrid attention and confusing loss function for few-shot relation classification.
Neurocomputing, 2022
Modelling, simulation and optimisation of medical enterprise warehousing process based on FlexSim model and greedy algorithm.
Int. J. Bio Inspired Comput., 2022
Keyphrase extraction using deep and wide learning features.
Intell. Data Anal., 2022
States and Internal States on Ehoops.
FLAP, 2022
Collaborative Attention Memory Network for Video Object Segmentation.
CoRR, 2022
A New Precise High Flow Oxygen Therapy System Based on Sliding Mode Control Strategy.
Complex., 2022
Effect of different anesthetic dose of pentobarbital on respiratory activity in rabbits.
Comput. Biol. Medicine, 2022
Fuzzy Active Contour Model With Markov Random Field for Change Detection.
IEEE Access, 2022
Conditional Domain Adaptation Based on Initial Distribution Discrepancy for EEG Emotion Recognition.
Proceedings of the Clinical Image-Based Procedures - 11th Workshop, 2022
VideoPipe 2022 Challenge: Real-World Video Understanding for Urban Pipe Inspection.
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 26th International Conference on Pattern Recognition, 2022
Design and Analysis of a Virtual Table Tennis Game Machine Circuit.
Proceedings of the 5th International Conference on Information Technologies and Electrical Engineering, 2022
Extending Tensor Virtual Machine to Support Deep-Learning Accelerators with Convolution Cores.
Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022
Weighted Transformer for Dialect Speech Recognition.
Proceedings of the IEEE International Conference on Knowledge Graph, 2022
Foreign Accent Conversion using Concentrated Attention.
Proceedings of the IEEE International Conference on Knowledge Graph, 2022
The Tenth Visual Object Tracking VOT2022 Challenge Results.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Computer Vision - ECCV 2022 Workshops, 2022
An Ontology-based Knowledge Base System for Military Software Testing.
Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022
Correlation-Aware Deep Tracking.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022
High-quality development assessment and spatial difference analysis of new urbanization in Guangdong Province based on multi-source data.
Proceedings of the 18th International Conference on Computational Intelligence and Security, 2022
A two-stage multi-objective evolutionary algorithm for large-scale multi-objective optimization.
Proceedings of the IEEE Congress on Evolutionary Computation, 2022
2021
Combining Machine Learning and Dynamic Time Wrapping for Vehicle Driving Event Detection Using Smartphones.
IEEE Trans. Intell. Transp. Syst., 2021
High-Precision Trajectory Tracking Control of Cable-Driven Parallel Robots Using Robust Synchronization.
IEEE Trans. Ind. Informatics, 2021
Specification-Driven Conformance Checking for Virtual/Silicon Devices Using Mutation Testing.
IEEE Trans. Computers, 2021
A Two-Step Method for Remote Sensing Images Registration Based on Local and Global Constraints.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2021
The Prediction of Atherosclerosis Index Based on Photoplethysmograph.
Sci. Program., 2021
High Quantum Efficiency and Broadband Photodetector Based on Graphene/Silicon Nanometer Truncated Cone Arrays.
Sensors, 2021
Attention-Based Spatial and Spectral Network with PCA-Guided Self-Supervised Feature Extraction for Change Detection in Hyperspectral Images.
Remote. Sens., 2021
Predicting therapeutic drugs for hepatocellular carcinoma based on tissue-specific pathways.
PLoS Comput. Biol., 2021
J. Multiple Valued Log. Soft Comput., 2021
A Novel PageRank-Based Fault Handling Strategy for Workflow Scheduling in Cloud Data Centers.
Int. J. Web Serv. Res., 2021
Enhanced three-dimensional U-Net with graph-based refining for segmentation of gastrointestinal stromal tumours.
IET Comput. Vis., 2021
Suffix array for multi-pattern matching with variable length wildcards.
Intell. Data Anal., 2021
Complex Electrical Stimulation Systems in Motor Function Rehabilitation after Spinal Cord Injury.
Complex., 2021
Deriving drought indices from MODIS vegetation indices (NDVI/EVI) and Land Surface Temperature (LST): Is data reconstruction necessary?
Int. J. Appl. Earth Obs. Geoinformation, 2021
Power Allocation for Minimizing Outage Probability of Cognitive Multi-Hop Relay Networks.
Proceedings of the 13th International Conference on Wireless Communications and Signal Processing, 2021
Outage Probability Analysis of RIS-assisted Wireless Powered Multi-user Communications.
Proceedings of the 13th International Conference on Wireless Communications and Signal Processing, 2021
Automatic Testing Methods for Response Time of Information Systems.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Hardware Design of Automatic Painting System Based on PLC.
Proceedings of the ICITEE 2021: The 4th International Conference on Information Technologies and Electrical Engineering, Changde, Hunan, China, October 29, 2021
Learning Spatio-Appearance Memory Network for High-Performance Visual Tracking.
Proceedings of the IEEE/CVF International Conference on Computer Vision Workshops, 2021
Learning Tracking Representations via Dual-Branch Fully Transformer Networks.
Proceedings of the IEEE/CVF International Conference on Computer Vision Workshops, 2021
The Ninth Visual Object Tracking VOT2021 Challenge Results.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the IEEE/CVF International Conference on Computer Vision Workshops, 2021
Software Selection Test of Enterprise-Level Big Data Analysis Platform.
Proceedings of the 8th International Conference on Dependable Systems and Their Applications, 2021
Concolic Execution of NMap Scripts for Honeyfarm Generation.
Proceedings of the MTD@CCS 2021: Proceedings of the 8th ACM Workshop on Moving Target Defense, 2021
2020
Adaptive Cross-Coupled Control of Cable-Driven Parallel Robots With Model Uncertainties.
IEEE Robotics Autom. Lett., 2020
A Systematic Investigation of State-of-the-Art SystemC Verification.
J. Circuits Syst. Comput., 2020
Human Emotion Recognition Based on Face and Facial Expression Detection Using Deep Belief Network Under Complicated Backgrounds.
Int. J. Pattern Recognit. Artif. Intell., 2020
Automatic evaluation of facial nerve paralysis by dual-path LSTM with deep differentiated network.
Neurocomputing, 2020
Backstepping-Based Adaptive Control for Nonlinear Systems with Actuator Failures and Uncertain Parameters.
Circuits Syst. Signal Process., 2020
Symbolic Techniques for Deep Learning: Challenges and Opportunities.
CoRR, 2020
Discriminative Segmentation Tracking Using Dual Memory Banks.
CoRR, 2020
Driver Attribute Filling for Genes in Interaction Network via Modularity Subspace-Based Concept Learning from Small Samples.
Complex., 2020
A Novel Method to Evaluate Patient-Ventilator Synchrony during Mechanical Ventilation.
Complex., 2020
A Novel Multiface Recognition Method With Short Training Time and Lightweight Based on ABASNet and H-Softmax.
IEEE Access, 2020
Active Supervision Strategies of Online Ride-Hailing Based on the Tripartite Evolutionary Game Model.
IEEE Access, 2020
Automated Bug Detection and Replay for COTS Linux Kernel Modules with Concolic Execution.
Proceedings of the 27th IEEE International Conference on Software Analysis, 2020
Hierarchical Representations with Discriminative Meta-filters in Dual Path Network for Tracking.
Proceedings of the Pattern Recognition and Computer Vision - Third Chinese Conference, 2020
SpectreCheck: An Approach to Detecting Speculative Execution Side Channels in Data Cache.
Proceedings of the 2020 IEEE International Conference on Embedded Software and Systems, 2020
Graph-based Keyphrase Extraction Using Word and Document Em beddings.
Proceedings of the 2020 IEEE International Conference on Knowledge Graph, 2020
The Eighth Visual Object Tracking VOT2020 Challenge Results.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Computer Vision - ECCV 2020 Workshops, 2020
Selective Concolic Testing for Hardware Trojan Detection in Behavioral SystemC Designs.
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020
A Utility-Based Fault Handling Approach for Efficient Job Rescue in Clouds.
Proceedings of the Cloud Computing - CLOUD 2020, 2020
Linear Elements Separation via Vision System Feature and Seed Spreading from Topographic Maps.
Proceedings of the 16th International Conference on Computational Intelligence and Security, 2020
A New Polarized Image Fusion Algorithm Based on Two-scale Guided Filtering.
Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2020
A Bandwidth and Latency Based Replica Selection Mechanism for Data-Intensive Workflow Applications in the Multi-Cloud Environment.
Proceedings of the Australasian Computer Science Week, 2020
2019
Heterogeneous-Length Text Topic Modeling for Reader-Aware Multi-Document Summarization.
ACM Trans. Knowl. Discov. Data, 2019
Robust delay-dependent <i>H</i><sub>∞</sub> filtering for uncertain Takagi-Sugeno fuzzy neutral stochastic time-delay systems.
J. Frankl. Inst., 2019
Adaptive dynamic sliding mode control for space manipulator with external disturbance.
J. Control. Decis., 2019
A Novel Multi-Pattern Solder Joint Simultaneous Segmentation Algorithm for PCB Selective Packaging Systems.
Int. J. Pattern Recognit. Artif. Intell., 2019
Frequent Patterns Algorithm of Biological Sequences based on Pattern Prefix-tree.
Int. J. Comput. Commun. Control, 2019
An importance sampling-based smoothing approach for quasi-Monte Carlo simulation of discrete barrier options.
Eur. J. Oper. Res., 2019
Hardware/Software Co-monitoring.
CoRR, 2019
FLAS: fast and high-throughput algorithm for PacBio long-read self-correction.
Bioinform., 2019
Fault-Tolerant Adaptive Control for a Class of Nonlinear Systems With Uncertain Parameters and Unknown Control Directions.
IEEE Access, 2019
Automatic Degree Evaluation of Facial Nerve Paralysis Based on Triple-stream Long Short Term Memory.
Proceedings of the Third International Symposium on Image Computing and Digital Medicine, 2019
End-to-End Concolic Testing for Hardware/Software Co-Validation.
Proceedings of the 15th IEEE International Conference on Embedded Software and Systems, 2019
2018
A Hybrid Beam-Forming and Direction-Finding Method for Wind Direction Sensing Based on HF Radar.
IEEE Trans. Geosci. Remote. Sens., 2018
Validation of Sensing Ocean Surface Currents Using Multi-Frequency HF Radar Based on a Circular Receiving Array.
Remote. Sens., 2018
An Orthogonal Projection Algorithm to Suppress Interference in High-Frequency Surface Wave Radar.
Remote. Sens., 2018
Multi-pattern matching with variable-length wildcards using suffix tree.
Pattern Anal. Appl., 2018
Radio Frequency Interference Cancelation in High-Frequency Surface Wave Radar Using Orthogonal Projection Filtering.
IEEE Geosci. Remote. Sens. Lett., 2018
Radio Frequency Interference Mitigation for High-Frequency Surface Wave Radar.
IEEE Geosci. Remote. Sens. Lett., 2018
Scheduling non-preemptive tasks with strict periods in multi-core real-time systems.
J. Syst. Archit., 2018
Fuzzy observer-based sampled-data control for a class of pure-feedback nonlinear systems.
J. Frankl. Inst., 2018
Optimal Sculling Velocity Algorithms for the Gyros With Angular Rate Output.
IEEE Access, 2018
Novel Time Series Modeling Methods for Gyro Random Noise Used in Internet of Things.
IEEE Access, 2018
Study on the Test Scenarios of Level 2 Automated Vehicles.
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018
Will Advanced Public Charging Infrastructure Speed Up Electrification of Future Transportation?
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018
Concolic testing of SystemC designs.
Proceedings of the 19th International Symposium on Quality Electronic Design, 2018
Degree Evaluation of Facial Nerve Paralysis by Combining LBP and Gabor Features.
Proceedings of the ISICDM 2018: The 2nd International Symposium on Image Computing and Digital Medicine 2018, 2018
Tag-based Weakly-supervised Hashing for Image Retrieval.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
A Data Dependency and Access Threshold Based Replication Strategy for Multi-cloud Workflow Applications.
Proceedings of the Service-Oriented Computing - ICSOC 2018 Workshops, 2018
Depth Recovery from a Single Image Based on L0 Gradient Minimization.
Proceedings of the 2018 IEEE International Conference on Big Knowledge, 2018
Deep Stock Representation Learning: From Candlestick Charts to Investment Decisions.
,
,
,
,
,
,
,
,
,
,
Proceedings of the 2018 IEEE International Conference on Acoustics, 2018
CRETE: A Versatile Binary-Level Concolic Testing Framework.
Proceedings of the Fundamental Approaches to Software Engineering, 2018
Ionic Conduction in Biological Nanopores Created by Ultrashort9 High-Intensity Pulses.
Proceedings of the 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2018
A Theoretical Analysis on the Reliability of Multigenerational IoT.
Proceedings of the 2018 IEEE International Conference on Electro/Information Technology, 2018
Specification-driven automated conformance checking for virtual prototype and post-silicon designs.
Proceedings of the 55th Annual Design Automation Conference, 2018
SCBench: A benchmark design suite for SystemC verification and validation.
Proceedings of the 23rd Asia and South Pacific Design Automation Conference, 2018
2017
Hysteresis Compensation Method for Magnetoresistive Sensors Based on Single Polar Controlled Magnetic Field Pulses.
IEEE Trans. Ind. Electron., 2017
S-Band Doppler Wave Radar System.
Remote. Sens., 2017
Radio Frequency Interference Mitigation in High-Frequency Surface Wave Radar Based on CEMD.
IEEE Geosci. Remote. Sens. Lett., 2017
Enhanced Target Detection for HFSWR by 2-D MUSIC Based on Sparse Recovery.
IEEE Geosci. Remote. Sens. Lett., 2017
Using SVD-FRFT Filtering to Suppress First-Order Sea Clutter in HFSWR.
IEEE Geosci. Remote. Sens. Lett., 2017
Efficient sequential pattern mining with wildcards for keyphrase extraction.
Knowl. Based Syst., 2017
A survey on the industrial readiness for Internet of Things.
Proceedings of the 8th IEEE Annual Ubiquitous Computing, 2017
Interference Suppression Based on Joint Time-Frequency Analysis and Fractional Fourier Domain in LFM HF Radar.
Proceedings of the Fuzzy Systems and Data Mining III, 2017
A Survey on Smart Wearables in the Application of Fitness.
Proceedings of the 15th IEEE Intl Conf on Dependable, 2017
Towards Cost Reduction in Cloud-Based Workflow Management through Data Replication.
Proceedings of the Fifth International Conference on Advanced Cloud and Big Data, 2017
2016
Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systems.
Real Time Syst., 2016
Multi-document summarization using closed patterns.
Knowl. Based Syst., 2016
Web video topics discovery and structuralization with social network.
Neurocomputing, 2016
OpenRISC System-on-Chip Design Emulation.
CoRR, 2016
Research on spatial and temporal characteristics of drought based on GIS using Remote Sensing Big Data.
Clust. Comput., 2016
Allocation and Scheduling of Strictly Periodic Tasks in Multi-core Real-Time Systems.
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016
The key technologies of pedestrian navigation based on micro inertial system and biological kinematics.
Proceedings of the IEEE/ION Position, Location and Navigation Symposium, 2016
Topic Discovery from Heterogeneous Texts.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016
WEFEST: Word Embedding Feature Extension for Short Text Classification.
Proceedings of the IEEE International Conference on Data Mining Workshops, 2016
Validating scheduling transformation for behavioral synthesis.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
Generating high coverage tests for SystemC designs using symbolic execution.
Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016
2015
Giant-Magnetoresistance-Based Galvanically Isolated Voltage and Current Measurements.
IEEE Trans. Instrum. Meas., 2015
Hysteresis Compensation Based on Controlled Current Pulses for Magnetoresistive Sensors.
IEEE Trans. Ind. Electron., 2015
基于局部和全局特征视觉单词的人物行为识别 (Human Action Recognition by Visual Word Based on Local and Global Features).
计算机科学, 2015
A two-step matrix splitting iteration for computing PageRank.
J. Comput. Appl. Math., 2015
Real-Time News Cer tification System on Sina Weibo.
Proceedings of the 24th International Conference on World Wide Web Companion, 2015
Orientational Spatial Part Modeling for Fine-Grained Visual Categorization.
Proceedings of the 2015 IEEE International Conference on Mobile Services, MS 2015, New York City, NY, USA, June 27, 2015
CNME: A System for Chinese News Meta-Data Extraction.
Proceedings of the Semantic Technology - 5th Joint International Conference, 2015
Automatic fault injection for driver robustness testing.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015
Prediction of rice brown planthoppers based on system dynamics.
Proceedings of the 12th International Conference on Fuzzy Systems and Knowledge Discovery, 2015
A Novel Recognition Method of Multimedia Data for Social Network.
Proceedings of the 3rd International Conference on Applied Computing and Information Technology, 2015
Spread influence algorithm of news website based on PageRank.
Proceedings of the 14th IEEE/ACIS International Conference on Computer and Information Science, 2015
2014
Pattern Matching with Flexible Wildcards.
J. Comput. Sci. Technol., 2014
Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis.
Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014
Bounded Model Checking of Hybrid Automata Pushdown System.
Proceedings of the 2014 14th International Conference on Quality Software, 2014
Mechanical Certification of Loop Pipelining Transformations: A Preview.
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014
Document-Specific Keyphrase Extraction Using Sequential Patterns with Wildcards.
Proceedings of the 2014 IEEE International Conference on Data Mining, 2014
Validating direct memory access interfaces with conformance checking.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014
Equivalence checking for function pipelining in behavioral synthesis.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Coverage evaluation of post-silicon validation tests with virtual prototypes.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Scalable Certification Framework for Behavioral Synthesis Front-End.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014
Giant magnetoresistive based galvanically isolated voltage measurement.
Proceedings of the IEEE International Workshop on Applied Measurements for Power Systems Proceedings, 2014
2013
Freight train gauge-exceeding detection based on three-dimensional stereo vision measurement.
Mach. Vis. Appl., 2013
Service-oriented SMP2 modeling and simulation for GNSS.
Int. J. Online Biomed. Eng., 2013
High fidelity Virtualization of Cyber-Physical Systems.
Int. J. Model. Simul. Sci. Comput., 2013
MAIL: mining sequential patterns with wildcards.
Int. J. Data Min. Bioinform., 2013
Pnfs: Personalized Web News Filtering and Summarization.
Int. J. Artif. Intell. Tools, 2013
Pattern matching with wildcards and gap-length constraints based on a centrality-degree graph.
Appl. Intell., 2013
Estimating Duplication by Content-based Sampling.
Proceedings of the 2013 USENIX Annual Technical Conference, 2013
Symbolic Execution of Virtual Devices.
Proceedings of the 2013 13th International Conference on Quality Software, 2013
Improving Short Text Classification Using Public Search Engines.
Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2013
The preliminary inquiry of Chlorophyll-a inversion algorithms applicable to guanting reservoir.
Proceedings of the 2013 IEEE International Geoscience and Remote Sensing Symposium, 2013
Equivalence checking for compiler transformations in behavioral synthesis.
Proceedings of the 2013 IEEE 31st International Conference on Computer Design, 2013
Optimizing post-silicon conformance checking.
Proceedings of the 2013 IEEE 31st International Conference on Computer Design, 2013
Automatic concolic test generation with virtual prototypes for post-silicon validation.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013
Handling design and implementation optimizations in equivalence checking for behavioral synthesis.
Proceedings of the 50th Annual Design Automation Conference 2013, 2013
Post-silicon conformance checking with virtual prototypes.
Proceedings of the 50th Annual Design Automation Conference 2013, 2013
Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013
A wearable health monitoring system with multi-parameters.
Proceedings of the 6th International Conference on Biomedical Engineering and Informatics, 2013
2012
A Logistic Regression Model for Predicting Axillary Lymph Node Metastases in Early Breast Carcinoma Patients.
Sensors, 2012
Research on Semantic Interoperability for Business Collaboration.
Proceedings of the Enterprise Interoperability - 4th International IFIP Working Conference, 2012
Novel Wireless Routers for Seamless Sharing of Video Access in Multihop Networks.
Proceedings of the 2012 IEEE International Conference on Multimedia and Expo Workshops, 2012
A new rumor propagation model on SNS structure.
Proceedings of the 2012 IEEE International Conference on Granular Computing, 2012
Equivalence checking for behaviorally synthesized pipelines.
Proceedings of the 49th Annual Design Automation Conference 2012, 2012
2011
Study of Patching-based and Caching-based video-on-demand in multi-hop WiMax mesh networks.
Wirel. Commun. Mob. Comput., 2011
Realization and synthesis of reversible functions.
Theor. Comput. Sci., 2011
A hybrid communication solution to distributed moving query monitoring systems.
Electron. Commer. Res. Appl., 2011
Formalizing hardware/software interface specifications.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Personalized News Filtering and Summarization on the Web.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
Architecture strategy of personalized information environment.
Proceedings of the iConference 2011, 2011
Keyword extraction based on sequential pattern mining.
Proceedings of the ICIMCS 2011, 2011
Sharing Online Video Streams in Wireless Mesh Access Networks.
Proceedings of the Global Communications Conference, 2011
Model Checking Büchi Pushdown Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2011
A novel piezoelectric device with dual functions of studying biological soft tissues.
Proceedings of the 4th International Conference on Biomedical Engineering and Informatics, 2011
2010
Embedded architecture description language.
J. Syst. Softw., 2010
Optimizing Patching-based multicast for video-on-demand in wireless mesh networks.
Int. J. Commun. Syst., 2010
News Filtering and Summarization on the Web.
IEEE Intell. Syst., 2010
A Dynamic Stream Merging Technique for Video-on-Demand Services over Wireless Mesh Access Networks.
Proceedings of the Seventh Annual IEEE Communications Society Conference on Sensor, 2010
Sequential Pattern Mining with Wildcards.
Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010
Pattern Matching with Flexible Wildcards and Recurring Characters.
Proceedings of the 2010 IEEE International Conference on Granular Computing, 2010
An Automata-Theoretic Approach to Hardware/Software Co-verification.
Proceedings of the Fundamental Approaches to Software Engineering, 2010
Optimizing equivalence checking for behavioral synthesis.
Proceedings of the Design, Automation and Test in Europe, 2010
Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
Keyphrase extraction based on semantic relatedness.
Proceedings of the 9th IEEE International Conference on Cognitive Informatics, 2010
2009
Small-Scale and Large-Scale Routing in Vehicular Ad Hoc Networks.
IEEE Trans. Veh. Technol., 2009
Cooperation Enforcement in a Highly Dynamic Mobile Ad Hoc Network.
J. Univers. Comput. Sci., 2009
An Internet Framework for Pervasive Sensor Computing.
Int. J. Adv. Pervasive Ubiquitous Comput., 2009
Method for Joining Intersected Contour Lines Intelligently.
Proceedings of the International Forum on Information Technology and Applications, 2009
Componentizing hardware/software interface design.
Proceedings of the Design, Automation and Test in Europe, 2009
Mining Frequent Patterns with Gaps and One-Off Condition.
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009
ESIDE: An Integrated Development Environment for Component-Based Embedded Systems.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009
Formal Verification for High-Assurance Behavioral Synthesis.
Proceedings of the Automated Technology for Verification and Analysis, 2009
2008
A cross-layer framework for video-on-demand service in multi-hop WiMax mesh networks.
Comput. Commun., 2008
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems.
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008
On Reducing Communication Cost for Distributed Moving Query Monitoring Systems.
Proceedings of the 9th International Conference on Mobile Data Management (MDM 2008), 2008
Dynamic Route Diversion in Connectionless Mobile Ad Hoc Networks.
Proceedings of The 2008 IEEE International Conference on Networking, 2008
Keyphrase Extraction from Chinese News Web Pages Based on Semantic Relations.
Proceedings of the Intelligence and Security Informatics, 2008
Component-Based Abstraction and Refinement.
Proceedings of the High Confidence Software Reuse in Large Systems, 2008
Keyword Extraction Based on Lexical Chains and Word Co-occurrence for Chinese News Web Pages.
Proceedings of the Workshops Proceedings of the 8th IEEE International Conference on Data Mining (ICDM 2008), 2008
Design and Development Methodology for Resilient Cyber-Physical Systems.
Proceedings of the 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 2008
Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation.
Proceedings of the 45th Design Automation Conference, 2008
A Service-Oriented Approach to Storage Backup.
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008
2007
Component-based hardware/software co-verification for building trustworthy embedded systems.
J. Syst. Softw., 2007
From Semanticobjects to Structured Natural Language.
Int. J. Semantic Comput., 2007
Performance Study of Live Video Streaming Over Highway Vehicular Ad Hoc Networks.
Proceedings of the 66th IEEE Vehicular Technology Conference, 2007
TOPO: Routing in Large Scale Vehicular Networks.
Proceedings of the 66th IEEE Vehicular Technology Conference, 2007
Semi-Split TCP: Maintaining End-to-End Semantics for Split TCP.
Proceedings of the 32nd Annual IEEE Conference on Local Computer Networks (LCN 2007), 2007
Achieving True Video-on-Demand Service in Multi-Hop WiMax Mesh Networks.
Proceedings of the 32nd Annual IEEE Conference on Local Computer Networks (LCN 2007), 2007
Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation.
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007
Guiding Component-Based Hardware/Software Co-Verification with Patterns.
Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), 2007
Component-Based Hardware/Software Co-Simulation.
Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007
Unified Property Specification for Hardware/Software Co-Verification.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007
2006
Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits.
Proceedings of the Implementation and Application of Automata, 2006
Maximal Models of Assertion Graph in GSTE.
Proceedings of the Theory and Applications of Models of Computation, 2006
Group Theory Based Synthesis of Binary Reversible Circuits.
Proceedings of the Theory and Applications of Models of Computation, 2006
Component-based hardware/software co-verification.
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006
Routing Performance in CDMA-based Sensor Networks for Different Energy Metrics.
Proceedings of the LCN 2006, 2006
Integrating Semantic Web Services for Declarative Accesses in Natural Language.
Proceedings of the Eigth IEEE International Symposium on Multimedia (ISM 2006), 2006
A Constructive Algorithm for Reversible Logic Synthesis.
Proceedings of the IEEE International Conference on Evolutionary Computation, 2006
Verification of Component-Based Software Application Families.
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006
Compositional Reasoning for Hardware/Software Co-verification.
Proceedings of the Automated Technology for Verification and Analysis, 2006
2005
Semantic Analysis and Synthesis of Complex Biological Systems.
Int. J. Softw. Eng. Knowl. Eng., 2005
Translation-based co-verification.
Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005
A Theoretical Upper Bound for IP-Based Floorplanning.
Proceedings of the Computing and Combinatorics, 11th Annual International Conference, 2005
2004
Lessons Learned from Model Checking a NASA Robot Controller.
Formal Methods Syst. Des., 2004
Automatic Creation of Environment Models via Training.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004
Translating Software Designs for Model Checking.
Proceedings of the Fundamental Approaches to Software Engineering, 2004
2003
Verified systems by composition from verified components.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003
Translation-Based Compositional Reasoning for Software Systems.
Proceedings of the FME 2003: Formal Methods, 2003
2002
A multi-protocol cross-domain communication model for metacomputing systems.
ACM SIGOPS Oper. Syst. Rev., 2002
Web Search with Personalization and Knowledge.
Proceedings of the 4th International Symposium on Multimedia Software Engineering, 2002
ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs.
Proceedings of the Fundamental Approaches to Software Engineering, 2002
Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs.
Proceedings of the Fundamental Approaches to Software Engineering, 2002
2001
Model Checking for an Executable Subset of UML.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
1997
A comparative study of speech detection methods.
Proceedings of the Fifth European Conference on Speech Communication and Technology, 1997
1996
Speech enhancement by spectral magnitude estimation - A unifying approach.
Speech Commun., 1996
Spectral estimation and normalisation for robust speech recognition.
Proceedings of the 4th International Conference on Spoken Language Processing, 1996
1994
A family of MLP based nonlinear spectral estimators for noise reduction.
Proceedings of ICASSP '94: IEEE International Conference on Acoustics, 1994
1993
Speech enhancement by nonlinear spectral estimation - a unifying approach.
Proceedings of the Third European Conference on Speech Communication and Technology, 1993
1990
Speech recognition in noisy environments with the aid of microphone arrays.
Speech Commun., 1990