Gang Chen

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024
EFMF-pillars: 3D object detection based on enhanced features and multi-scale fusion.
EURASIP J. Adv. Signal Process., December, 2024

Multi-strategy improved sparrow search algorithm based on first definition of ellipse and group co-evolutionary mechanism for engineering optimization problems.
Clust. Comput., December, 2024

Improving Graph Collaborative Filtering via Spike Signal Embedding Perturbation.
IEEE Trans. Cogn. Dev. Syst., October, 2024

Long-Time Coherent Integration Method for Passive Bistatic Radar Using Frequency Hopping Signals.
Sensors, October, 2024

Attitude/Orbit Engine Compound Control for Hypersonic Target Interceptor With Discrete-Time Inputs and State Constraints.
IEEE Trans. Aerosp. Electron. Syst., August, 2024

Skip-Encoder and Skip-Decoder for Detection Transformer in Optical Remote Sensing.
Remote. Sens., August, 2024

Enhancing Regional Quasi-Geoid Refinement Precision: An Analytical Approach Employing ADS80 Tri-Linear Array Stereoscopic Imagery and GNSS Gravity-Potential Leveling.
Remote. Sens., August, 2024

Fire safety assessment for alternative cruise ship design based on BWM and DEMATEL by linguistic Z-number.
Qual. Reliab. Eng. Int., July, 2024

Autonomous gait switching method and experiments of a hexapod walking robot for Mars environment with multiple terrains.
Intell. Serv. Robotics, May, 2024

AODiMP-TIR: Anti-occlusion thermal infrared targets tracker based on SuperDiMP.
IET Image Process., May, 2024

New results on stability analysis for a class of generalized delayed neural networks.
Appl. Math. Comput., May, 2024

Similarity detection method of science fiction painting based on multi-strategy improved sparrow search algorithm and Gaussian pyramid.
Multim. Tools Appl., April, 2024

Multichannel spatial-temporal graph convolution network based on spectrum decomposition for traffic prediction.
Expert Syst. Appl., March, 2024

Task attention-based multimodal fusion and curriculum residual learning for context generalization in robotic assembly.
Appl. Intell., March, 2024

Multi-Stage Salient Object Detection in 360° Omnidirectional Image Using Complementary Object-Level Semantic Information.
IEEE Trans. Emerg. Top. Comput. Intell., February, 2024

An interpretable composite CNN and GRU for fine-grained martial arts motion modeling using big data analytics and machine learning.
Soft Comput., February, 2024

Event assigning based on hierarchical features and enhanced association for Chinese mayor's hotline.
Comput. Intell., February, 2024

On the consensus of synchronous temporal and spatial views: A novel multimodal deep learning method for social video prediction.
Inf. Process. Manag., January, 2024

SCFANet: Semantics and Context Feature Aggregation Network for 360° Salient Object Detection.
IEEE Trans. Multim., 2024

Adaptive Peak Extracting Transform and Its Application in Sedimentary Cycle Division.
IEEE Trans. Geosci. Remote. Sens., 2024

Fast Pareto set approximation for multi-objective flexible job shop scheduling via parallel preference-conditioned graph reinforcement learning.
Swarm Evol. Comput., 2024

A comprehensive review of robot intelligent grasping based on tactile perception.
Robotics Comput. Integr. Manuf., 2024

ACQ: Improving generative data-free quantization via attention correction.
Pattern Recognit., 2024

Knowledge-based Clustering Federated Learning for fault diagnosis in robotic assembly.
Knowl. Based Syst., 2024

A framework for formal verification of robot kinematics.
J. Log. Algebraic Methods Program., 2024

Attending to Customer Attention: A Novel Deep Learning Method for Leveraging Multimodal Online Reviews to Enhance Sales Prediction.
Inf. Syst. Res., 2024

Spatiotemporal Evolution and Influencing Factors of Urban Industry in Modern China (1840-1949): A Case Study of Nanjing.
ISPRS Int. J. Geo Inf., 2024

A high resolution and configurable 1T1R1C ReRAM macro for medical semantic segmentation.
IEICE Electron. Express, 2024

Hierarchical admissibility criteria for T-S fuzzy singular systems with time-varying delay.
Fuzzy Sets Syst., 2024

Extended residual learning with one-shot imitation learning for robotic assembly in semi-structured environment.
Frontiers Neurorobotics, 2024

FedDQA: A novel regularization-based deep learning method for data quality assessment in federated learning.
Decis. Support Syst., 2024

FreqINR: Frequency Consistency for Implicit Neural Representation with Adaptive DCT Frequency Loss.
CoRR, 2024

A High-Throughput FPGA Accelerator for Lightweight CNNs With Balanced Dataflow.
CoRR, 2024

Static and multivariate-temporal attentive fusion transformer for readmission risk prediction.
CoRR, 2024

ADBA:Approximation Decision Boundary Approach for Black-Box Adversarial Attacks.
CoRR, 2024

Cognitive Manipulation: Semi-supervised Visual Representation and Classroom-to-real Reinforcement Learning for Assembly in Semi-structured Environments.
CoRR, 2024

Cycle-YOLO: A Efficient and Robust Framework for Pavement Damage Detection.
CoRR, 2024

Comparison of the high-order Runge-Kutta discontinuous Galerkin method and gas-kinetic scheme for inviscid compressible flow simulations.
CoRR, 2024

Superconvergence error estimates for the div least-squares finite element method on elliptic problems.
CoRR, 2024

Evaluating and Enhancing Large Language Models Performance in Domain-specific Medicine: Osteoarthritis Management with DocOA.
CoRR, 2024

Deep Radon Prior: A Fully Unsupervised Framework for Sparse-View CT Reconstruction.
CoRR, 2024

Application of artificial intelligence radiomics in the diagnosis, treatment, and prognosis of hepatocellular carcinoma.
Comput. Biol. Medicine, 2024

Resource-constrained project scheduling with multiple states: Bi-objective optimization model and case study of aircraft maintenance.
Comput. Ind. Eng., 2024

A deep learning model fusion algorithm for the diagnosis of gastric Mucosa-associated lymphoid tissue lymphoma.
Biomed. Signal Process. Control., 2024

Category-sensitive semi-supervised semantic segmentation framework for land-use/land-cover mapping with optical remote sensing images.
Int. J. Appl. Earth Obs. Geoinformation, 2024

An Adaptive Robust Hybrid Force/Position Control for Robot Manipulators System Subject to Mismatched and Matched Disturbances.
IEEE Access, 2024

Multi-Scale Generative Adversarial Network With Multi-Head External Attention for Image Inpainting.
IEEE Access, 2024

A Coq-Based Infrastructure for Quantum Programming, Verification and Simulation.
Proceedings of the Theory and Applications of Models of Computation, 2024

Formal Verification of Executable Matrix Inversion via Adjoint Matrix and Gaussian Elimination.
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024

An FPGA-Based High-Throughput Dataflow Accelerator for Lightweight Neural Network.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2024

Enhancing Spatial-Temporal Neural Networks with Long-Term Temporal Features for Traffic Prediction.
Proceedings of the International Joint Conference on Neural Networks, 2024

An Architecture for Industrial Control Mimic Systems Based on Component and Multi-Level 2-Mode Judgment Algorithm.
Proceedings of the 10th IEEE International Conference on High Performance and Smart Computing, 2024

Self-reconfiguration Strategy of Modular Robot Based on Topological Graph Comparison Algorithm.
Proceedings of the 8th International Conference on Robotics, Control and Automation, 2024

Improved A * Algorithm for Autonomous Vehicle Path Planning under Post-disaster Rescue Scene.
Proceedings of the 8th International Conference on Robotics, Control and Automation, 2024

Research on constructing technology of network public opinion propagation model based on Multiagent.
Proceedings of the 2024 International Conference on Generative Artificial Intelligence and Information Security, 2024

Coq Formalization of Orientation Representation: Matrix, Euler Angles, Axis-Angle and Quaternion.
Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

HyperLoRA: Efficient Cross-task Generalization via Constrained Low-Rank Adapters Generation.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2024, 2024

Positive-Unlabeled Learning by Latent Group-Aware Meta Disambiguation.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

QuickTree: A Fast Hardware BVH Construction Engine.
Proceedings of the 21st ACM International Conference on Computing Frontiers, 2024

Uncovering and Mitigating the Hidden Chasm: A Study on the Text-Text Domain Gap in Euphemism Identification.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Adaptive Visual Field Multi-scale Generative Adversarial Networks Image Inpainting Base on Coordinate-Attention.
Neural Process. Lett., December, 2023

Double-head transformer neural network for molecular property prediction.
J. Cheminformatics, December, 2023

Minimization of Energy Consumption in TDMA-Based Wireless-Powered Multi-Access Edge Computing Networks.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., December, 2023

High-accuracy low-latency non-maximum suppression processor for traffic object detection.
IEICE Electron. Express, December, 2023

Multiclass objects detection algorithm using DarkNet-53 and DenseNet for intelligent vehicles.
EURASIP J. Adv. Signal Process., December, 2023

MoCoUTRL: a momentum contrastive framework for unsupervised text representation learning.
Connect. Sci., December, 2023

Predicting very early recurrence in intrahepatic cholangiocarcinoma after curative hepatectomy using machine learning radiomics based on CECT: A multi-institutional study.
Comput. Biol. Medicine, December, 2023

Multi-view feature representation and fusion for drug-drug interactions prediction.
BMC Bioinform., December, 2023

Integrative analysis of TP53 mutations in lung adenocarcinoma for immunotherapies and prognosis.
BMC Bioinform., December, 2023

A novel unsupervised framework for time series data anomaly detection via spectrum decomposition.
Knowl. Based Syst., November, 2023

Enhanced Near-Infrared Ultra-Narrow Absorber Based on a Dielectric Nano-Resonant Ring for Refractive Index Sensing.
Sensors, October, 2023

CoqMatrix: Formal matrix library with multiple models in Coq.
J. Syst. Archit., October, 2023

Minimizing the computation latency of FDMA-based wireless powered edge computing network.
IET Commun., October, 2023

The Dynamics and Microphysical Characteristics of the Convection Producing the Record-Breaking Hourly Precipitation on 20 July 2021 in Zhengzhou, China.
Remote. Sens., September, 2023

Detecting Affine Equivalence Of Boolean Functions And Circuit Transformation.
Comput. J., September, 2023

Prediction of lymph node metastasis in primary gastric cancer from pathological images and clinical data by multimodal multiscale deep learning.
Biomed. Signal Process. Control., September, 2023

Evolution strategies-based optimized graph reinforcement learning for solving dynamic job shop scheduling problem.
Appl. Soft Comput., September, 2023

Cross-Modality Double Bidirectional Interaction and Fusion Network for RGB-T Salient Object Detection.
IEEE Trans. Circuits Syst. Video Technol., August, 2023

DEC-transformer: deep embedded clustering with transformer on Chinese long text.
Pattern Anal. Appl., August, 2023

Mod2Panel: A Design Framework for Model-Based Automated Generation of Interactive Panels.
Inf. Technol. Control., July, 2023

Sourcing diversification: Strategy selection, sourcing allocation and brand power.
Comput. Ind. Eng., July, 2023

Noninvasive continuous blood pressure estimation with fewer parameters based on RA-ReliefF feature selection and MPGA-BPN models.
Biomed. Signal Process. Control., July, 2023

Pixel-Wise Attention Residual Network for Super-Resolution of Optical Remote Sensing Images.
Remote. Sens., June, 2023

RACL: A robust adaptive contrastive learning method for conversational satisfaction prediction.
Pattern Recognit., June, 2023

Novel role-wise attention mechanism for predicting purchases made through chat-based online customer services.
Decis. Support Syst., June, 2023

A comprehensive investigation regarding the clinical significance of ITGB4 in oral squamous cell carcinoma combining immunohistochemistry, RNA-seq, and microarray data.
Comput. Biol. Chem., June, 2023

CUSS-Net: A Cascaded Unsupervised-Based Strategy and Supervised Network for Biomedical Image Diagnosis and Segmentation.
IEEE J. Biomed. Health Informatics, May, 2023

Robust Near-Optimal Coordination in Uncertain Multiagent Networks With Motion Constraints.
IEEE Trans. Cybern., May, 2023

Modality-Induced Transfer-Fusion Network for RGB-D and RGB-T Salient Object Detection.
IEEE Trans. Circuits Syst. Video Technol., April, 2023

A localization scheme based on Improving Dynamic Population Monte Carlo Localization method for large-scale mobile wireless aquaculture sensor networks.
IET Wirel. Sens. Syst., April, 2023

Attentive statement fraud detection: Distinguishing multimodal financial data with fine-grained attention.
Decis. Support Syst., April, 2023

High-Sensitivity 2D MoS2/1D MWCNT Hybrid Dimensional Heterostructure Photodetector.
Sensors, March, 2023

Event-based optimization of service rate control in retrial queues.
J. Oper. Res. Soc., March, 2023

Research on a Kind of Multi-objective Evolutionary Fuzzy System with a Flowing Data Pool and a Rule Pool for Interpreting Neural Networks.
Int. J. Fuzzy Syst., March, 2023

Brain-Inspired Spiking Neural Network Using Superconducting Devices.
IEEE Trans. Emerg. Top. Comput. Intell., February, 2023

Multi-scale patch-GAN with edge detection for image inpainting.
Appl. Intell., February, 2023

Study on the Quantitative Precipitation Estimation of X-Band Dual-Polarization Phased Array Radar from Specific Differential Phase.
Remote. Sens., January, 2023

Attack-Defense Game Model with Multi-Type Attackers Considering Information Dilemma.
Entropy, January, 2023

A contradiction solving method for complex product conceptual design based on deep learning and technological evolution patterns.
Adv. Eng. Informatics, January, 2023

UAV Path Planning Based on Deep Reinforcement Learning.
Proceedings of the Artificial Intelligence for Robotics and Autonomous Systems Applications, 2023

Spatial Pattern Learning: Dip Structure Constraint Multi-View Convolutional Neural Network for Pre-Stacked Seismic Inversion.
IEEE Trans. Geosci. Remote. Sens., 2023

Aircraft Detection by a Ground-Based Passive Interferometric Microwave Sensor (PIMS).
IEEE Trans. Geosci. Remote. Sens., 2023

Statistical Synchrosqueezing Transform and Its Application to Seismic Thin Interbed Analysis.
IEEE Trans. Geosci. Remote. Sens., 2023

Cluster-Locating Algorithm Based on Deep Learning for Silicon Pixel Sensors.
Sensors, 2023

Improved results on admissibility analysis for singular systems with periodically time-varying delay.
J. Frankl. Inst., 2023

Aerodynamic Parameter Estimation for a Morphing Unmanned Aerial Vehicle from Flight Tests.
J. Aerosp. Inf. Syst., 2023

A Theory-Driven Deep Learning Method for Voice Chat-Based Customer Response Prediction.
Inf. Syst. Res., 2023

User consumption behaviour prediction method in the context of social media marketing.
Int. J. Netw. Virtual Organisations, 2023

The Jasmine (<i>Jasminum sambac</i>) Genome Provides Insight into the Biosynthesis of Flower Fragrances and Jasmonates.
Genom. Proteom. Bioinform., 2023

Revisiting the centrality definition and observable centrality dependence of relativistic heavy-ion collisions in PACIAE model.
Comput. Phys. Commun., 2023

Large-Scale OD Matrix Estimation with A Deep Learning Method.
CoRR, 2023

A Simple Text to Video Model via Transformer.
CoRR, 2023

A mixed policy to improve performance of language models on math problems.
CoRR, 2023

Locking-free HDG methods for Reissner-Mindlin plates equations on polygonal meshes.
CoRR, 2023

A DeepLearning Framework for Dynamic Estimation of Origin-Destination Sequence.
CoRR, 2023

Optimal and Heuristic Min-Reg Scheduling Algorithms for GPU Program.
CoRR, 2023

Speed up the inference of diffusion models via shortcut MCMC sampling.
CoRR, 2023

Accelerating real-time object detection in high-resolution video surveillance.
Concurr. Comput. Pract. Exp., 2023

A multi-task deep learning framework for perineural invasion recognition in gastric cancer whole slide images.
Biomed. Signal Process. Control., 2023

Research on Thermal Compensation of x-Axis Partition of Drilling and Tapping Center Machine Tools.
IEEE Access, 2023

Unet-Astar: A Deep Learning-Based Fast Routing Algorithm for Unified PCB Routing.
IEEE Access, 2023

An Intelligent Inversion Method for Azimuth Electromagnetic Logging While Drilling Measurements.
IEEE Access, 2023

Unbiased Knowledge Distillation for Recommendation.
Proceedings of the Sixteenth ACM International Conference on Web Search and Data Mining, 2023

Research on the Application of Motor Assembly Guided by Augmented Reality Knowledge.
Proceedings of the 5th International Conference on Video, Signal and Image Processing, 2023

MSRL: Distributed Reinforcement Learning with Dataflow Fragments.
Proceedings of the 2023 USENIX Annual Technical Conference, 2023

A Hierarchical Attention-based Contrastive Learning Method for Micro Video Popularity Prediction.
Proceedings of the 27th Pacific Asia Conference on Information Systems, 2023

S3DS: Self-supervised Learning of 3D Skeletons from Single View Images.
Proceedings of the 31st ACM International Conference on Multimedia, 2023

Towards Industry Data Governance: Construction of An Industrial Data Decentralized Distributed Symbiotic Sharing Space Based on Tensor.
Proceedings of the 28th International Conference on Automation and Computing, 2023

MCCQF: Low-Latency Transmission Based on IEEE 802.1 Qch For Hierarchical Networking.
Proceedings of the IEEE International Conference on Communications, 2023

Distinguishing Good from Bad: Distributed-Collaborative-Representation-Based Data Fraud Detection in Federated Learning.
Proceedings of the HCI in Business, Government and Organizations, 2023

Learning by Reasoning: An Explainable Hierarchical Association Regularized Deep Learning Method for Disease Prediction.
Proceedings of the HCI in Business, Government and Organizations, 2023

Aerial roaming aerial photography path planning based on areas of interest.
Proceedings of the 2023 7th International Conference on Electronic Information Technology and Computer Engineering, 2023

Analysis and identification of glass components based on regression models and improved K-means++ clustering algorithms.
Proceedings of the 2023 4th International Conference on Computing, 2023

A CNN-Based Real-Time Dense Stereo SLAM System on Embedded FPGA.
Proceedings of the Artificial Intelligence - Third CAAI International Conference, 2023

2022
Application of Deep Learning Technology in Strength Training of Football Players and Field Line Detection of Football Robots.
Frontiers Neurorobotics, September, 2022

To solve the problems of combat mission predictions based on multi-instance genetic fuzzy systems.
J. Supercomput., 2022

A Multivariate Temperature Drift Modeling and Compensation Method for Large-Diameter High-Precision Fiber Optic Gyroscopes.
IEEE Trans. Instrum. Meas., 2022

Uncertainty Management and Differential Model Decomposition for Fault Diagnosis and Prognosis.
IEEE Trans. Ind. Electron., 2022

Validation of Precipitation Measurements From the Dual-Frequency Precipitation Radar Onboard the GPM Core Observatory Using a Polarimetric Radar in South China.
IEEE Trans. Geosci. Remote. Sens., 2022

Content-Invariant Dual Learning for Change Detection in Remote Sensing Images.
IEEE Trans. Geosci. Remote. Sens., 2022

VSOIQE: A Novel Viewport-Based Stitched 360° Omnidirectional Image Quality Evaluator.
IEEE Trans. Circuits Syst. Video Technol., 2022

CGMDRNet: Cross-Guided Modality Difference Reduction Network for RGB-T Salient Object Detection.
IEEE Trans. Circuits Syst. Video Technol., 2022

Dip-Coating Self-Assembly Fabrication and Polarization Sensitive Photoresponse of Aligned Single-Walled Carbon Nanotube Film.
Sensors, 2022

Improvement of AD-Census Algorithm Based on Stereo Vision.
Sensors, 2022

Transformer Based Binocular Disparity Prediction with Occlusion Predict and Novel Full Connection Layers.
Sensors, 2022

Time space modelling for fault diagnosis and prognosis with uncertainty management: A general theoretical formulation.
Reliab. Eng. Syst. Saf., 2022

Fusion of a Static and Dynamic Convolutional Neural Network for Multiview 3D Point Cloud Classification.
Remote. Sens., 2022

Soil Salinity Variations and Associated Implications for Agriculture and Land Resources Development Using Remote Sensing Datasets in Central Asia.
Remote. Sens., 2022

Reinforcement learning control for the swimming motions of a beaver-like, single-legged robot based on biological inspiration.
Robotics Auton. Syst., 2022

Anti-forensics of fake stereo audio using generative adversarial network.
Multim. Tools Appl., 2022

A Collaborative Filtering Method for Operation Maintenance Behavior in Power Monitoring Systems.
J. Sensors, 2022

Design of Beaver-like Hind Limb and Analysis of Two Swimming Gaits for Underwater Narrow Space Exploration.
J. Intell. Robotic Syst., 2022

Multi-gas leakage synchronous monitoring system based on the distributed optical fiber sensing technology.
J. Comput. Methods Sci. Eng., 2022

H-Net: A dual-decoder enhanced FCNN for automated biomedical image diagnosis.
Inf. Sci., 2022

Trajectory tracking and compensation control of redundant manipulator based on Integrated controller.
Int. J. Robotics Autom., 2022

CASSANN-v2: A high-performance CNN accelerator architecture with on-chip memory self-adaptive tuning.
IEICE Electron. Express, 2022

Understanding citizens' perception of government fiscal information through a survey experiment.
Gov. Inf. Q., 2022

On the Size of (K<sub>t, </sub> P<sub>k)</sub>-Co-Critical Graphs.
Graphs Comb., 2022

Fast approximate viewshed analysis based on the regular-grid digital elevation model: X-type partition proximity-direction-elevation spatial reference line algorithm.
Comput. Geosci., 2022

Multi-view SoftPool attention convolutional networks for 3D model classification.
Frontiers Neurorobotics, 2022

Complementary or Substitutive? A Novel Deep Learning Method to Leverage Text-image Interactions for Multimodal Review Helpfulness Prediction.
Expert Syst. Appl., 2022

An orthogonal-space-learning-based method for selecting semantically helpful reviews.
Electron. Commer. Res. Appl., 2022

PACIAE 2.2.1: An updated issue of the parton and hadron cascade model PACIAE 2.2.
Comput. Phys. Commun., 2022

Blind separation of noncooperative paired carrier multiple access signals based on improved quantum-inspired evolutionary algorithm and receding horizon optimization.
Concurr. Comput. Pract. Exp., 2022

Automated Segmentation of Mass Regions in DBT Images Using a Dilated DCNN Approach.
Comput. Intell. Neurosci., 2022

Deep convolutional neural networks with ensemble learning and transfer learning for automated detection of gastrointestinal diseases.
Comput. Biol. Medicine, 2022

IMMAT: Mesh Reconstruction from Single View Images by Medial Axis Transform Prediction.
Comput. Aided Des., 2022

XPXP: improving polygenic prediction by cross-population and cross-phenotype analysis.
Bioinform., 2022

Semi-supervised semantic segmentation framework with pseudo supervisions for land-use/land-cover mapping in coastal areas.
Int. J. Appl. Earth Obs. Geoinformation, 2022

Stability Analysis of Time-Delay Systems via a Delay-Derivative-Partitioning Approach.
IEEE Access, 2022

Joint Learning With BERT-GCN and Multi-Attention for Event Text Classification and Event Assignment.
IEEE Access, 2022

Enhanced Sparse Detection for End-to-End Object Detection.
IEEE Access, 2022

Integration of Multiple Formal Matrix Models in Coq.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

Research on UWB-Based Data Fusion Positioning Method.
Proceedings of the 28th International Conference on Mechatronics and Machine Vision in Practice, 2022

Design of Extreme High Voltage High Stability Test Voltage Source.
Proceedings of the 8th International Conference on Systems and Informatics, 2022

Graph Neural Networks based Resource Allocation in Heterogeneous Wireless Networks.
Proceedings of the 7th International Conference on Intelligent Information Processing, 2022

Observation Point Insertion Using Deep Learning.
Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

Deep Reinforcement Learning for Online VRC Deployment in Mobile Edge Computing.
Proceedings of the 23rd IEEE International Conference on High Performance Switching and Routing, 2022

Co-channel Interference Suppression Method based on Multi-beamform Processing in Passive Bistatic Radar.
Proceedings of the 5th International Conference on Data Science and Information Technology, 2022

Research on High Performance Domestic Chip Architecture Based on Digital Grid Edge Computing.
Proceedings of the 5th International Conference on Computer Science and Software Engineering, 2022

Modeling of Stepper Motor Fault Diagnosis Based on GRU Time Series Analysis.
Proceedings of the Methods and Applications for Modeling and Simulation of Complex Systems, 2022

Computer network system security assessment method.
Proceedings of the International Conference on Artificial Intelligence, 2022

OVPT: Optimal Viewset Pooling Transformer for 3D Object Recognition.
Proceedings of the Computer Vision - ACCV 2022, 2022

2021
Leveraging Multisource Heterogeneous Data for Financial Risk Prediction: A Novel Hybrid-Strategy-Based Self-Adaptive Method.
MIS Q., December, 2021

Reinforcement Learning for Autonomous Morphing Control and Cooperative Operations of UAV Cluster.
Proceedings of the Deep Learning for Unmanned Systems, 2021

PARP: A Parallel Traffic Condition Driven Route Planning Model on Dynamic Road Networks.
ACM Trans. Intell. Syst. Technol., 2021

Lebesgue-Time-Space-Model-Based Diagnosis and Prognosis for Multiple Mode Systems.
IEEE Trans. Ind. Electron., 2021

Improving Time-Efficiency of Variational Specific Differential Phase Estimation.
IEEE Trans. Geosci. Remote. Sens., 2021

Detection of Dense Small Rigid Targets Based on Convolutional Neural Network and Synthetic Images.
Traitement du Signal, 2021

A Formal Proof of PG Recurrence Equations of Parallel Adders.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021

Learning to Generate Explainable Plots for Neural Story Generation.
IEEE ACM Trans. Audio Speech Lang. Process., 2021

Identification of Ship Dynamics Model Based on Sparse Gaussian Process Regression with Similarity.
Symmetry, 2021

A Ship Detection and Tracking Algorithm for an Airborne Passive Interferometric Microwave Sensor (PIMS).
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2021

Class-Aware Domain Adaptation for Coastal Land Cover Mapping Using Optical Remote Sensing Imagery.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2021

Sequential Model Based Intrusion Detection System for IoT Servers Using Deep Learning Methods.
Sensors, 2021

Accuracy Analysis of International Reference Ionosphere 2016 and NeQuick2 in the Antarctic.
Sensors, 2021

A Security Log Analysis Scheme Using Deep Learning Algorithm for IDSs in Social Network.
Secur. Commun. Networks, 2021

Recognition of Operating Characteristics of Heavy Trucks Based on the Identification of GPS Trajectory Stay Points.
Secur. Commun. Networks, 2021

Analysis of the BDGIM Performance in BDS Single Point Positioning.
Remote. Sens., 2021

CCT: Conditional Co-Training for Truly Unsupervised Remote Sensing Image Segmentation in Coastal Areas.
Remote. Sens., 2021

Unsupervised Domain Adaption for High-Resolution Coastal Land Cover Mapping with Category-Space Constrained Adversarial Network.
Remote. Sens., 2021

Direct-to-consumer genetic testing in China and its role in GWAS discovery and replication.
Quant. Biol., 2021

Faithful simulation and detection of quantum spin Hall effect on superconducting circuits.
Quantum Eng., 2021

Structural equation modeling and artificial neural networks approach to predict continued use of mobile taxi booking apps: the mediating role of hedonic motivation.
Data Technol. Appl., 2021

Interval type-2 fuzzy neural network based constrained GPC for NH<sub>3</sub> flow in SCR de-NO<sub>x</sub> process.
Neural Comput. Appl., 2021

GAN-Based Siamese Framework for Landslide Inventory Mapping Using Bi-Temporal Optical Remote Sensing Images.
IEEE Geosci. Remote. Sens. Lett., 2021

Doppler ambiguity analysis and suppression for LTE-based passive bistatic radars.
Frontiers Inf. Technol. Electron. Eng., 2021

Identification of Fake Stereo Audio Using SVM and CNN.
Inf., 2021

A smart urban management information public opinion analysis system.
Int. J. Secur. Networks, 2021

Stability analysis of delayed neural networks based on a relaxed delay-product-type Lyapunov functional.
Neurocomputing, 2021

Singleton-Type Optimal LRCs with Minimum Distance 3 and 4 from Projective Code.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021

PDERL: an accurate and fast algorithm with a novel perspective on solving the old viewshed analysis problem.
Earth Sci. Informatics, 2021

UAV detection via long-time coherent integration for passive bistatic radar.
Digit. Signal Process., 2021

On the size of special class 1 graphs and (<i>P</i><sub>3</sub>;<i>k</i>)-co-critical graphs.
Discret. Math., 2021

Event-Triggered Reliable Dissipative Filtering for Delayed Neural Networks with Quantization.
Circuits Syst. Signal Process., 2021

Where to Look: A Unified Attention Model for Visual Recognition with Reinforcement Learning.
CoRR, 2021

Tensor products of coherent configurations.
CoRR, 2021

Machine vision detection to daily facial fatigue with a nonlocal 3D attention network.
CoRR, 2021

Analyzing Surgical Treatment of Intestinal Obstruction in Children with Artificial Intelligence.
Comput. Math. Methods Medicine, 2021

Usage of intelligent medical aided diagnosis system under the deep convolutional neural network in lumbar disc herniation.
Appl. Soft Comput., 2021

A characterization of exceptional pseudocyclic association schemes by multidimensional intersection numbers.
Ars Math. Contemp., 2021

Towards a universal continuous knowledge base.
AI Open, 2021

Transition Flight Control and Simulation of a Novel Tail-Sitter UAV With Varying Fuselage Shape.
IEEE Access, 2021

Joint Optimization of Quota Policy Design and Electric Market Behavior Based on Renewable Portfolio Standard in China.
IEEE Access, 2021

Unpaired Stain Style Transfer Using Invertible Neural Networks Based on Channel Attention and Long-Range Residual.
IEEE Access, 2021

Secure and Fast Image Encryption Algorithm Using Hyper-Chaos-Based Key Generator and Vector Operation.
IEEE Access, 2021

Robust Centralized Vehicle Coordination Strategies at Road Intersections.
Proceedings of the 93rd IEEE Vehicular Technology Conference, 2021

Complementary or Substitutive? Leveraging Text-image Interactions for Review Helpfulness Prediction.
Proceedings of the 25th Pacific Asia Conference on Information Systems, 2021

Centralized Vehicle Coordination Strategies Based on Improved Age of Information.
Proceedings of the 17th International Wireless Communications and Mobile Computing, 2021

A Novel Configurable High-precision and Low-cost Circuit Design of Sigmoid and Tanh Activation Function.
Proceedings of the 2021 IEEE International Conference on Integrated Circuits, 2021

Research on Unstructured Mega Data Analysis Algorithm of Communication Network Based on Feature Fusion.
Proceedings of the 4th International Conference on Information Systems and Computer Aided Education, 2021

An Empirical Study on the Motivations of Individuals' Retweeting Intention on Sina Weibo.
Proceedings of the ICEBT 2021: 5th International Conference on E-Education, E-Business and E-Technology, Beijing, China, June 18, 2021

Deep Learning Framework for Detecting Positive Lymph Nodes of Gastric Cancer on Histopathological Images.
Proceedings of the ICBSP 2021: 6th International Conference on Biomedical Imaging, Signal Processing, Xiamen, China, October 29, 2021

Segment, Mask, and Predict: Augmenting Chinese Word Segmentation with Self-Supervision.
Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021

C-for-Metal: High Performance Simd Programming on Intel GPUs.
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2021

Target detection of remote sensing images based on deep learning method and system.
Proceedings of the AISS 2021: 3rd International Conference on Advanced Information Science and System, Sanya, China, November 26, 2021

Mismatched filtering for Doppler ambiguity sidelobe suppression in passive bistatic radar.
Proceedings of the AISS 2021: 3rd International Conference on Advanced Information Science and System, Sanya, China, November 26, 2021

2020
A Hybrid Boost-Flyback/Flyback Microinverter for Photovoltaic Applications.
IEEE Trans. Ind. Electron., 2020

An Automatic Insect Recognition Algorithm in Complex Background Based on Convolution Neural Network.
Traitement du Signal, 2020

Anomaly Detection of Power Plant Equipment Using Long Short-Term Memory Based Autoencoder Neural Network.
Sensors, 2020

Coastal Land Cover Classification of High-Resolution Remote Sensing Images Using Attention-Driven Context Encoding Network.
Sensors, 2020

Sediment Classification of Acoustic Backscatter Image Based on Stacked Denoising Autoencoder and Modified Extreme Learning Machine.
Remote. Sens., 2020

Progressive Domain Adaptation for Change Detection Using Season-Varying Remote Sensing Images.
Remote. Sens., 2020

Topological quantum walks in cavity-based quantum networks.
Quantum Inf. Process., 2020

Multiple-pulse phase-matching quantum key distribution.
Quantum Inf. Process., 2020

Robust composite adaptive neural network control for air management system of PEM fuel cell based on high-gain observer.
Neural Comput. Appl., 2020

Multimedia data fusion method based on wireless sensor network in intelligent transportation system.
Multim. Tools Appl., 2020

Robust mismatched filtering algorithm for passive bistatic radar using worst-case performance optimization.
Frontiers Inf. Technol. Electron. Eng., 2020

Lateral robust iterative learning control for unmanned driving robot vehicle.
J. Syst. Control. Eng., 2020

Application of Cardiovascular Angiography in Diagnosis of Heart Disease Based on Adaptive Tracking Circular Template Technique.
J. Medical Imaging Health Informatics, 2020

Multiple-Instance ranking based deep hashing for multi-Label image retrieval.
Neurocomputing, 2020

Two-stage clutter and interference cancellation method in passive bistatic radar.
IET Signal Process., 2020

A 12.5 Gbps clock and data recovery circuit with phase interpolation based digital locked loop.
IEICE Electron. Express, 2020

Solving the ruin probabilities of some risk models with Legendre neural network algorithm.
Digit. Signal Process., 2020

Learning Symbolic Expressions via Gumbel-Max Equation Learner Network.
CoRR, 2020

Planimation.
CoRR, 2020

Decorrelated Double Q-learning.
CoRR, 2020

Multi-Timescale Coordinated AGC of Islanded Microgrids with Cascaded Run-of-the-River Hydropower and Volatile Energies.
CoRR, 2020

Cardiac magnetic resonance image segmentation based on convolutional neural network.
Comput. Methods Programs Biomed., 2020

Clinical significance of transcription factor RUNX2 in lung adenocarcinoma and its latent transcriptional regulating mechanism.
Comput. Biol. Chem., 2020

Clinicopathological value and underlying molecular mechanism of annexin A2 in 992 cases of thyroid carcinoma.
Comput. Biol. Chem., 2020

Bayesian weighted Mendelian randomization for causal inference based on summary statistics.
Bioinform., 2020

Financial distress prediction: Regularized sparse-based Random Subspace with ER aggregation rule incorporating textual disclosures.
Appl. Soft Comput., 2020

Neural machine translation: A review of methods, resources, and tools.
AI Open, 2020

Clutter Cancellation Based on Frequency Domain Analysis in Passive Bistatic Radar.
IEEE Access, 2020

MF-EFP: Predicting Multi-Functional Enzymes Function Using Improved Hybrid Multi-Label Classifier.
IEEE Access, 2020

Optimizing Multi-Terminal Customized Bus Service With Mixed Fleet.
IEEE Access, 2020

Integrated Optimization Approach for Aerodynamic, Structural, and Embedded Antenna Design of Joined-Wing SensorCraft.
IEEE Access, 2020

Speech Emotion Recognition by Combining a Unified First-Order Attention Network With Data Balance.
IEEE Access, 2020

Long-Time Coherent Integration for Frequency Hopping Pulse Signal via Phase Compensation.
IEEE Access, 2020

Comprehensive Optimization of the Unmanned Tilt-Wing Cargo Aircraft With Distributed Propulsors.
IEEE Access, 2020

Optimizing Battery-Electric-Feeder Service and Wireless Charging Locations With Nested Genetic Algorithm.
IEEE Access, 2020

Being Sagacious towards Proliferated Post-Purchase Sharing: A Novel Disclosure Pattern-Wise Helpful Online Reviews Extraction Method.
Proceedings of the 24th Pacific Asia Conference on Information Systems, 2020

Mutually Promoted or Mutually Restricted? A Multi-level Co-adaptation Regularized Deep Learning Method for Multimodal Data Based Default Risk Prediction.
Proceedings of the 24th Pacific Asia Conference on Information Systems, 2020

SODA: A Generic Online Detection Framework for Smart Contracts.
Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020

A Review of Latest Multi-instance Learning.
Proceedings of the CSAI 2020: 2020 4th International Conference on Computer Science and Artificial Intelligence, 2020

NVMe-over-RPMsg: A Virtual Storage Device Model Applied to Heterogeneous Multi-Core SoCs.
Proceedings of the 10th Annual Computing and Communication Workshop and Conference, 2020

Tsinghua University Neural Machine Translation Systems for CCMT 2020.
Proceedings of the Machine Translation - 16th China Conference, 2020

THUMT: An Open-Source Toolkit for Neural Machine Translation.
Proceedings of the 14th Conference of the Association for Machine Translation in the Americas, 2020

2019
Detecting Water Diversion Fingerprints in the Danjiangkou Reservoir from Satellite Gravimetry and Altimetry Data.
Sensors, 2019

A Bayesian Hydrometeor Classification Algorithm for C-Band Polarimetric Radar.
Remote. Sens., 2019

Microphysical Characteristics of Three Convective Events with Intense Rainfall Observed by Polarimetric Radar and Disdrometer in Eastern China.
Remote. Sens., 2019

单一SSID无线网络用户接入安全技术 (Security of User Access to Single SSID Wireless Network).
计算机科学, 2019

基于Coq记录的矩阵形式化方法 (Matrix Formalization Based on Coq Record).
计算机科学, 2019

基于时空特征挖掘的交通流量预测方法 (Traffic Flow Prediction Method Based on Spatio-Temporal Feature Mining).
计算机科学, 2019

An air freight forwarder's resource planning and revenue management.
J. Oper. Res. Soc., 2019

Imaging-guided Intracavitary Irradiation And Surgery for Craniopharyngiomas: A Comparative Study.
J. Medical Imaging Health Informatics, 2019

Production decision of agricultural products: A game model based on negative exponential utility function.
J. Intell. Fuzzy Syst., 2019

Image denoising in impulsive noise via weighted Schatten p -norm regularization.
J. Electronic Imaging, 2019

An evolutionary model of urban comprehensive service function based on cooperative development.
Int. J. Wirel. Mob. Comput., 2019

Position-posture trajectory tracking of a Six-legged walking robot.
Int. J. Robotics Autom., 2019

Pythagorean fuzzy preference ranking organization method of enrichment evaluations.
Int. J. Intell. Syst., 2019

Stability analysis of systems with timevarying delay via a novel Lyapunov functional.
IEEE CAA J. Autom. Sinica, 2019

A general framework for multi-label learning towards class correlations and class imbalance.
Intell. Data Anal., 2019

Identifying Adverse Drug Events From Social Media Using An Improved Semisupervised Method.
IEEE Intell. Syst., 2019

Generalized wreath products of table algebras determined by their character tables and applications to association schemes.
Discret. Math., 2019

Planar anti-Ramsey numbers of matchings.
Discret. Math., 2019

Learning to Predict Explainable Plots for Neural Story Generation.
CoRR, 2019

Merging Deterministic Policy Gradient Estimations with Varied Bias-Variance Tradeoff for Effective Deep Reinforcement Learning.
CoRR, 2019

Comparative evaluation of image registration methods with different interest regions in lung cancer radiotherapy.
BMC Medical Imaging, 2019

Comparison of different registration methods and landmarks for image-guided radiation therapy of pulmonary tumors.
BMC Medical Imaging, 2019

Preface: operations research for transportation.
Ann. Oper. Res., 2019

A Dynamic Traffic Assignment Method Based on Connected Transportation System.
IEEE Access, 2019

Optimized Operation of Hybrid System Integrated With MHP, PV and PHS Considering Generation/Load Similarity.
IEEE Access, 2019

Ontology Alignment Repair Through 0-1 Programming.
IEEE Access, 2019

Stain Style Transfer Using Transitive Adversarial Networks.
Proceedings of the Machine Learning for Medical Image Reconstruction, 2019

Next Generation Blockchain Network (NGBN).
Proceedings of the 20th IEEE International Conference on Mobile Data Management, 2019

A Hybrid Blockchain System Based on Parallel Distributed Architecture for Central Bank Digital Currency.
Proceedings of the Fuzzy Systems and Data Mining V, 2019

IGC: The Open Source Intel Graphics Compiler.
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2019

Smart Survey Tool: A Multi Device Platform for Museum Visitor Tracking and Tracking Data Visualization.
Proceedings of the IEEE Pacific Visualization Symposium, 2019

2018
Stochastic simulation and optimization in supply chain management.
Simul., 2018

Analysis of Wide-Lane Ambiguities Derived from Geometry-Free and Geometry-Based Precise Point Positioning Models and Their Implication for Orbit and Clock Quality.
Sensors, 2018

Optimal Seamline Detection for Orthoimage Mosaicking Based on DSM and Improved JPS Algorithm.
Remote. Sens., 2018

Adaptive DC interconnection provisioning in distributed all-optical micro-datacenters using holistically SDN orchestration for dynamic access.
Photonic Netw. Commun., 2018

顾及事件地理位置的新闻推荐方法研究 (Research on News Recommendation Methods Considering Geographical Location of News).
计算机科学, 2018

基于机器视觉的液晶屏Mura缺陷检测方法 (Machine Vision Based Inspection Method of Mura Defect for LCD).
计算机科学, 2018

Chinese National Condition Based Power Dispatching Optimization in Microgrids.
J. Control. Sci. Eng., 2018

Factors dominating individual information disseminating behavior on social networking sites.
Inf. Technol. Manag., 2018

Determinants of users' information dissemination behavior on social networking sites: An elaboration likelihood model perspective.
Internet Res., 2018

Mainlobe interference suppression based on independent component analysis in passive bistatic radar.
IET Signal Process., 2018

A high efficient CTLE for 12.5 Gbps receiver of JESD204B standard.
IEICE Electron. Express, 2018

A new random subspace method incorporating sentiment and textual information for financial distress prediction.
Electron. Commer. Res. Appl., 2018

Robust delay-dependent passivity analysis for neural networks with interval time-varying delay.
Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

A Multi-Objective Optimization Approach for Question Routing in Community Question Answering Services (Extended Abstract).
Proceedings of the 34th IEEE International Conference on Data Engineering, 2018

HeadNet: Pedestrian Head Detection Utilizing Body in Context.
Proceedings of the 13th IEEE International Conference on Automatic Face & Gesture Recognition, 2018

An Extension of MIC for Multivariate Correlation Analysis Based on Interaction Information.
Proceedings of the 2018 2nd International Conference on Computer Science and Artificial Intelligence, 2018

A 0.0094mm<sup>2</sup>/Channel Time-Based Beat Frequency ADC in 65nm CMOS for Intra-Electrode Neural Recording.
Proceedings of the 2018 IEEE Biomedical Circuits and Systems Conference, 2018

Cross-Domain Data Access System for Distributed Sites in HEP.
Proceedings of the Big Scientific Data Management, 2018

Automated and Intelligent Data Migration Strategy in High Energy Physical Storage Systems.
Proceedings of the Big Scientific Data Management, 2018

Scientific Data Management and Application in High Energy Physics.
Proceedings of the Big Scientific Data Management, 2018

Multi-label Classification via Label-Topic Pairs.
Proceedings of the Web and Big Data - Second International Joint Conference, 2018

Data Reduction Workflow Patterns Mining and Optimization based on Ontology.
Proceedings of the 2018 International Conference on Algorithms, 2018

2017
A Multi-Objective Optimization Approach for Question Routing in Community Question Answering Services.
IEEE Trans. Knowl. Data Eng., 2017

A Single-Stage PFM-APWM Hybrid Modulated Soft-Switched Converter With Low Bus Voltage for High-Power LED Lighting Applications.
IEEE Trans. Ind. Electron., 2017

Analysis and experimental demonstration of an optical switching enabled scalable data center network architecture.
Opt. Switch. Netw., 2017

Optimal and dynamic virtual datacenter provisioning over metro-embedded datacenters with holistic SDN orchestration.
Opt. Switch. Netw., 2017

Intrinsic signal optical imaging of visual brain activity: Tracking of fast cortical dynamics.
NeuroImage, 2017

Comparison and integration of feature reduction methods for land cover classification with RapidEye imagery.
Multim. Tools Appl., 2017

高能物理环境中混合存储系统的设计与优化 (Design and Optimization of Hybrid Storage System in HEP Environment).
计算机科学, 2017

基于双线性函数注意力Bi-LSTM模型的机器阅读理解 (Attention of Bilinear Function Based Bi-LSTM Model for Machine Reading Comprehension).
计算机科学, 2017

Aggregate-disaggregate approach to an airfreight forwarder's planning under uncertainty: a case study.
J. Oper. Res. Soc., 2017

Impact of Metro-Embedded Data Centers on Metropolitan Network Design and Traffic Profile.
JOCN, 2017

A Method for Unifying the Representations of Domain Knowledge and Planning Algorithm in Hierarchical Task Network.
Int. J. Pattern Recognit. Artif. Intell., 2017

Assigning licenced technicians to maintenance tasks at aircraft maintenance base: a bi-objective approach and a Chinese airline application.
Int. J. Prod. Res., 2017

The most suitable scheme selection of mechanical product configuration based on multi-objective decision analysis.
Int. J. Comput. Sci. Math., 2017

Relation Extraction with Deep Reinforcement Learning.
IEICE Trans. Inf. Syst., 2017

Distant supervised relation extraction via long short term memory networks with sentence embedding.
Intell. Data Anal., 2017

An Expurgating-Based Method for Constructing Multi-Rate Non-Binary Quasi-Cyclic LDPC Codes.
IEEE Commun. Lett., 2017

Transshipment hub selection from a shipper's and freight forwarder's perspective.
Expert Syst. Appl., 2017

Joint Extraction of Entities and Relations Using Reinforcement Learning and Deep Learning.
Comput. Intell. Neurosci., 2017

Understanding and predicting individual retweeting behavior: Receiver perspectives.
Appl. Soft Comput., 2017

Fully automated calculation of cardiothoracic ratio in digital chest radiographs.
Proceedings of the Medical Imaging 2017: Computer-Aided Diagnosis, 2017

Simulation study of integrated smart energy systems.
Proceedings of the 2017 IEEE Innovative Smart Grid Technologies - Asia, 2017

Deep Supervised Hashing with Nonlinear Projections.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Rule-based optimal control for the cooling water subsystem of chiller plants.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

Optimization of running number of chilled water pumps based on decentralized network.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

The optimal control strategy for chilled water system in central air-conditioning systems.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

Multi-label Learning by Exploiting Label Correlations with LDA.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Online measurement method of phase difference of current sensor based on CCA.
Proceedings of the 4th International Conference on Systems and Informatics, 2017

AnySCAN: An Efficient Anytime Framework with Active Learning for Large-Scale Network Clustering.
Proceedings of the 2017 IEEE International Conference on Data Mining, 2017

Formalization of Laplace Transform in Coq.
Proceedings of the International Conference on Dependable Systems and Their Applications, 2017

Formal Derivation and Verification of Coordinate Transformations in Theorem Prover Coq.
Proceedings of the International Conference on Dependable Systems and Their Applications, 2017

Multi-label learning by exploiting label correlations for TCM diagnosing Parkinson's disease.
Proceedings of the 2017 IEEE International Conference on Bioinformatics and Biomedicine, 2017

Latent Discriminant Analysis with Representative Feature Discovery.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
An IPv6 Profile for 3GPP Mobile Devices.
RFC, May, 2016

An Airfreight Forwarder's Shipment Bidding and Logistics Planning.
Transp. Sci., 2016

A Framework for Practical Dynamic Software Updating.
IEEE Trans. Parallel Distributed Syst., 2016

Taming transitive permission attack via bytecode rewriting on Android application.
Secur. Commun. Networks, 2016

基于深度信念网络的命名实体识别 (Named Entity Recognition Based on Deep Belief Net).
计算机科学, 2016

作战计划生成方法研究现状与展望 (Review on Methods of Operation Planning).
计算机科学, 2016

Topic Evolution Analysis Based on Cluster Topic Model.
J. Adv. Comput. Intell. Intell. Informatics, 2016

Second Order Bounded Quantification with If-Expression.
Int. J. Softw. Informatics, 2016

A Gentle Tutorial of Recurrent Neural Network with Error Backpropagation.
CoRR, 2016

A simulation-based genetic algorithm approach for reducing emissions from import container pick-up operation at container terminal.
Ann. Oper. Res., 2016

Managing customer arrivals with time windows: a case of truck arrivals at a congested container terminal.
Ann. Oper. Res., 2016

Improved Direct Linear Transformation for Parameter Decoupling in Camera Calibration.
Algorithms, 2016

A novel approach for automatic reconstruction of boundary condition in structure analysis.
Adv. Eng. Softw., 2016

Continuous Gesture Recognition Based on Hidden Markov Model.
Proceedings of the Internet and Distributed Computing Systems, 2016

Discovering Multiple Social Ties for Characterization of Individuals in Online Social Networks.
Proceedings of the Third European Network Intelligence Conference, 2016

Factors Dominating Individuals' Retweeting Decisions.
Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2016

2015
IPv4 Residual Deployment via IPv6 - A Stateless Solution (4rd).
RFC, July, 2015

Analysis of Failure Cases in IPv6 Roaming Scenarios.
RFC, March, 2015

Identification of Forested Landslides Using LiDar Data, Object-based Image Analysis, and Machine Learning Algorithms.
Remote. Sens., 2015

Estimating Intracranial Volume in Brain Research: An Evaluation of Methods.
Neuroinformatics, 2015

Automatically building large-scale named entity recognition corpora from Chinese Wikipedia.
Frontiers Inf. Technol. Electron. Eng., 2015

软件定义网络性能研究 (Survey on Performance of Software Defined Networking).
计算机科学, 2015

基于改进LSH的协同过滤推荐算法 (Collaborative Filtering Recommendation Algorithm Based on Improved Locality-sensitive Hashing).
计算机科学, 2015

高能物理计算环境中KVM虚拟机的性能优化与应用 (Performance Optimization and Application of KVM in HEP Computing Environment).
计算机科学, 2015

高能物理计算环境中存储系统的设计与优化 (Design and Optimization of Storage System in HEP Computing Environment).
计算机科学, 2015

Color Image Analysis by Quaternion-Type Moments.
J. Math. Imaging Vis., 2015

Towards collaborative e-service.
Int. J. Electron. Bus., 2015

Status Report of the DPHEP Collaboration: A Global Effort for Sustainable Data Preservation in High Energy Physics.
CoRR, 2015

A Light Sliding-Window Part-of-Speech Tagger for the Apertium Free/Open-Source Machine Translation Platform.
CoRR, 2015

Deep Transductive Semi-supervised Maximum Margin Clustering.
CoRR, 2015

Deep Learning with Nonparametric Clustering.
CoRR, 2015

A lightweight software fault-tolerance system in the cloud environment.
Concurr. Comput. Pract. Exp., 2015

A practical guideline for intracranial volume estimation in patients with Alzheimer's disease.
BMC Bioinform., 2015

Product Design Strategy with Commonality by Considering Customer-Choice Behavior in Supply Chain.
Asia Pac. J. Oper. Res., 2015

Clustering Time-Evolving Data Using an Efficient Differential Evolution.
Proceedings of the Advances in Swarm and Computational Intelligence, 2015

Development of Computerized Severe Accident Management Guidelines of AP1000 Nuclear Power Plant.
Proceedings of the SIMULTECH 2015 - Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Colmar, Alsace, France, 21, 2015

Effect of an annular sleeve of high permittivity material on resonant modes and homogeneity of a birdcage coil.
Proceedings of the 12th IEEE International Symposium on Biomedical Imaging, 2015

Eagleyes: Performing data analysis using an interactive dataflow.
Proceedings of the 10th IEEE Conference on Visual Analytics Science and Technology, 2015

Exploiting User Feedback for Expert Finding in Community Question Answering.
Proceedings of the IEEE International Conference on Data Mining Workshop, 2015

An efficient flow table consistent update scheme for software defined network.
Proceedings of the 2015 IEEE/CIC International Conference on Communications in China, 2015

A method of extracting human facial feature points based on 3D laser scanning point cloud data.
Proceedings of the 23rd International Conference on Geoinformatics, 2015

Transformer Fault Diagnosis Algorithm Based on Entropy-Weighting Information Bottleneck Method.
Proceedings of the 2015 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2015

2014
NAT64 Deployment Options and Experience.
RFC, June, 2014

Relay Selection and Discrete Power Control for Cognitive Relay Networks via Potential Game.
IEEE Trans. Signal Process., 2014

Memshepherd: comprehensive memory bug fault-tolerance system.
Secur. Commun. Networks, 2014

Does experience in talking facilitate speech repetition?
NeuroImage, 2014

Infrared neural stimulation of primary visual cortex in non-human primates.
NeuroImage, 2014

Distinct brain activity in processing negative pictures of animals and objects - The role of human contexts.
NeuroImage, 2014

Robust optimisation of the spring actuator in a vacuum circuit breaker.
Math. Struct. Comput. Sci., 2014

Effect of Laser Power on the Quality of Drilled Micro Hole Using Cu<sub>50</sub>Zr<sub>50</sub> Amorphous Alloys Foils.
Micromachines, 2014

Laser Micro Bending Process of Ti6Al4V Square Bar.
Micromachines, 2014

Aubin core and bargaining set for almost-convex fuzzy cooperative games.
J. Intell. Fuzzy Syst., 2014

Improvement of Home Appliance Control System in Smart Home Based on 6LoWPAN.
J. Comput., 2014

A Public Opinion Analysis System for Urban Management Information.
J. Comput., 2014

A new classification method for transient power quality combining spectral kurtosis with neural network.
Neurocomputing, 2014

Full 4-D quaternion discrete Fourier transform based watermarking for color images.
Digit. Signal Process., 2014

On Potentially K<sub>6</sub>-3K<sub>2</sub>-graphic sequences.
Ars Comb., 2014

Methods for estimating vehicle queues at a marine terminal: A computational comparison.
Int. J. Appl. Math. Comput. Sci., 2014

Large-scale documents reduction based on domain ontology and E2LSH.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

MCFRoute: a detailed router based on multi-commodity flow method.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014

Designing a Multi-level Metadata Standard based on Dublin Core for Museum Data.
Proceedings of the 2014 International Conference on Dublin Core and Metadata Applications, 2014

Beam-Width Adaptation for Hierarchical Phrase-Based Translation.
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2014

Evolutionary clustering with differential evolution.
Proceedings of the IEEE Congress on Evolutionary Computation, 2014

2013
SafeStack: Automatically Patching Stack-Based Buffer Overflow Vulnerabilities.
IEEE Trans. Dependable Secur. Comput., 2013

Seeding and Harvest: A Framework for Unsupervised Feature Selection Problems.
Sensors, 2013

Layer-specific BOLD activation in awake monkey V1 revealed by ultra-high spatial resolution functional magnetic resonance imaging.
NeuroImage, 2013

A 0.13 µm 8 Mb Logic-Based Cu<sub>x</sub> Si<sub>y</sub> O ReRAM With Self-Adaptive Operation for Yield Enhancement and Power Reduction.
IEEE J. Solid State Circuits, 2013

Model of Information Security Risk Assessment based on Improved Wavelet Neural Network.
J. Networks, 2013

Ternary self-orthogonal codes of dual distance three and ternary quantum codes of distance three.
Des. Codes Cryptogr., 2013

Latent Fisher Discriminant Analysis.
CoRR, 2013

Optimal tracking agent: a new framework of reinforcement learning for multiagent systems.
Concurr. Comput. Pract. Exp., 2013

An evolutionary image matching approach.
Appl. Soft Comput., 2013

Relay selection in cognitive relay networks via potential game.
Proceedings of the 2013 IEEE Wireless Communications and Networking Conference (WCNC), 2013

Fast Information Retrieval and Social Network Mining via Cosine Similarity Upper Bound.
Proceedings of the International Conference on Social Computing, SocialCom 2013, 2013

Order Optimization of Evolutionary Hypernetworks Using Genetic Algorithm.
Proceedings of the IEEE International Conference on Systems, 2013

A UWB over fiber system based on frequency-dependent gain saturation in a RSOA.
Proceedings of the 2013 IEEE Radio and Wireless Symposium, 2013

Silver nanoparticles aggregate on passivated copper foil for Surface-enhanced Raman scattering.
Proceedings of the 8th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2013

A comparison study on hydrogen sensing performance of Pt/MoO3 nanoplatelets coated with a thin layer of Ta2O5 or La2O3.
Proceedings of the 8th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2013

Relay selection and discrete power control in cognitive relay networks using learning automata.
Proceedings of the 2013 IEEE Global Communications Conference, 2013

Mapping the Internet: Geolocating Routers by Using Machine Learning.
Proceedings of the Fourth International Conference on Computing for Geospatial Research and Application, 2013

Survey of Probabilistic Graphical Models.
Proceedings of the 2013 10th Web Information System and Application Conference, 2013

A Decision Tree Algorithm Based on Dispersion Measure of Attribute Information.
Proceedings of the 2013 10th Web Information System and Application Conference, 2013

2012
Reliability-Oriented Design of Three-Phase Power Converters for Aircraft Applications.
IEEE Trans. Aerosp. Electron. Syst., 2012

Quaternion Zernike moments and their invariants for color image analysis and object recognition.
Signal Process., 2012

Identification of cortical lamination in awake monkeys by high resolution magnetic resonance imaging.
NeuroImage, 2012

A study on MIS Schottky diode based hydrogen sensor using La<sub>2</sub>O<sub>3</sub> as gate insulator.
Microelectron. Reliab., 2012

Group decision-making in an unconventional emergency situation using agile Delphi approach.
Inf. Technol. Manag., 2012

Parallelization of normal mode-WKBZ computation for ocean acoustic field.
Comput. Syst. Sci. Eng., 2012

Status Report of the DPHEP Study Group: Towards a Global Effort for Sustainable Data Preservation in High Energy Physics
CoRR, 2012

Computer-Assisted Audiovisual Language Learning.
Computer, 2012

The Graham's pebbling conjecture for K<sup>-k1</sup><sub>r, s</sub> x K<sup>-k2</sup><sub>m, n</sub>.
Ars Comb., 2012

A sensing cushion using simple pressure distribution sensors.
Proceedings of the IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2012

The Recognition Study of Impulse and Oscillation Transient Based on Spectral Kurtosis and Neural Network.
Proceedings of the Advances in Neural Networks - ISNN 2012, 2012

A Compound Control for PMSM Based on Fuzzy Sliding-mode and Neural Network.
Proceedings of the Third International Conference on Digital Manufacturing & Automation, 2012

An Eye Detection Based Multi-modal "E-Supervisor" in Distant Education.
Proceedings of the 12th IEEE International Conference on Advanced Learning Technologies, 2012

Guaranteed cost fault-tolerant control for uncertain networked control system with packet dropouts.
Proceedings of the 2012 IEEE International Conference on Automation and Logistics, 2012

Grassmannian Manifolds Discriminant Analysis Based on Low-Rank Representation for Image Set Matching.
Proceedings of the Pattern Recognition - Chinese Conference, 2012

2011
Sketch based garment modeling on an arbitrary view of a 3D virtual human model.
J. Zhejiang Univ. Sci. C, 2011

A Cross-Layer Resource Allocation Algorithm with Dynamic Buffer Allocation Mechanism.
J. Networks, 2011

Research on the group decision-making about emergency event based on network technology.
Inf. Technol. Manag., 2011

Optimal Tracking Agent: A New Framework for Multi-agent Reinforcement Learning.
Proceedings of the IEEE 10th International Conference on Trust, 2011

A novel feature selection methodology based on outlier detection technologies.
Proceedings of the 7th International Conference on Natural Language Processing and Knowledge Engineering, 2011

Research the spatial reference system sharing framework based on SOA.
Proceedings of the IEEE International Conference on Spatial Data Mining and Geographical Knowledge Services, 2011

Design on Intelligent Controller of Magnetic Controlled Soft Starting for Reactive Compensation.
Proceedings of the Applied Informatics and Communication - International Conference, 2011

Research and Practice of Electronic Resources Preservation in Tsinghua University Library.
Proceedings of the Digital Libraries: For Cultural Heritage, Knowledge Dissemination, and Future Creation, 2011

Application of Constructivism Theory Explore Electronic Technology Design Course Teaching.
Proceedings of the Advances in Computer Science, Environment, Ecoinformatics, and Education, 2011

Improved Gaussian Mixture Model for Moving Object Detection.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2011

2010
Formalization of a Parameterized Parallel Adder Within the Coq Theorem Prover.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

The Inflammasome in Host Defense.
Sensors, 2010

An analytic network process approach to the selection of logistics service providers for air cargo.
J. Oper. Res. Soc., 2010

Research on Operation Rules Modeling in Equipment Training System.
J. Convergence Inf. Technol., 2010

Key Technologies of Modeling for Equipment Training Environment.
J. Convergence Inf. Technol., 2010

Design and Realization of Equipment Training Simulator.
J. Convergence Inf. Technol., 2010

Distributed model predictive control for multi-agent systems with coupling constraints.
Int. J. Model. Identif. Control., 2010

Information Aggregation of Group Decision-Making in Emergency Events.
Intell. Inf. Manag., 2010

ZoomTree: Unrestricted Zoom Paths in Multiscale Visual Analysis of Relational Databases.
Proceedings of the Computer Vision, Imaging and Computer Graphics. Theory and Applications, 2010

Workcell-based Supply Chain Management.
Proceedings of 2010 IEEE International Conference on Service Operations and Logistics, 2010

A 10B 200MHz pipeline ADC with minimal feedback penalty and 0.35pJ/conversion-step.
Proceedings of the Annual IEEE International SoC Conference, SoCC 2010, 2010

Parallel WKBZ Mode Approach for Ocean Acoustics Field Computation.
Proceedings of the 13th International Conference on Network-Based Information Systems, 2010

A New Short-Term Load Forecasting Model of Power System Based on HHT and ANN.
Proceedings of the Advances in Neural Networks, 2010

Multiscale Visualization of Relational Databases using Layered Zoom Trees and Partial Data Cubes.
Proceedings of the IMAGAPP 2010 - Proceedings of the International Conference on Imaging Theory and Applications and IVAPP 2010 - Proceedings of the International Conference on Information Visualization Theory and Applications, Angers, France, May 17, 2010

Color Image Analysis by Quaternion Zernike Moments.
Proceedings of the 20th International Conference on Pattern Recognition, 2010

Improve K-means clustering for audio data by exploring a reasonable sampling rate.
Proceedings of the Seventh International Conference on Fuzzy Systems and Knowledge Discovery, 2010

SHelp: Automatic Self-Healing for Multiple Application Instances in a Virtual Machine Environment.
Proceedings of the 2010 IEEE International Conference on Cluster Computing, 2010

Research on Group Decision-Making Mechanism of Internet Emergency Management.
Proceedings of the E-business Technology and Strategy - International Conference, 2010

Research on Similarity Matching for Multiple Granularities Time-Series Data.
Proceedings of the Advanced Data Mining and Applications - 6th International Conference, 2010

2009
An Improved Level Set for Liver Segmentation and Perfusion Analysis in MRIs.
IEEE Trans. Inf. Technol. Biomed., 2009

A rapid topographic mapping and eye alignment method using optical imaging in Macaque visual cortex.
NeuroImage, 2009

A 0-1 LP Model for the Integration and Consolidation of Air Cargo Shipments.
Oper. Res., 2009

Global stability of a class of Cohen-Grossberg neural networks with delays.
Int. J. Intell. Syst. Technol. Appl., 2009

The Alcatel-Lucent microprojector: What every cell phone needs.
Bell Labs Tech. J., 2009

Customer clustering using semi-supervised geographic information.
Proceedings of the 2009 IEEE/INFORMS International Conference on Service Operations, 2009

Design management of information & communications technology and systems (ICTS) in E-commerce.
Proceedings of the 2009 IEEE/INFORMS International Conference on Service Operations, 2009

Music retrieval based on a multi-samples selection strategy for support vector machine active learning.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Semi-Supervised Regression for Evaluating Convenience Store Location.
Proceedings of the IJCAI 2009, 2009

Visiads: A vision-based advertising platform for camera phones.
Proceedings of the 2009 IEEE International Conference on Multimedia and Expo, 2009

A Lie group based spatiogram similarity measure.
Proceedings of the 2009 IEEE International Conference on Multimedia and Expo, 2009

Approximation Error Bounds of Minimum Inference Fuzzy System as Function Approximator.
Proceedings of the Fuzzy Information and Engineering, 2009

Research on Multiple 3D Models Rebuilding of Scene Simulation Platform.
Proceedings of the 2009 International Conference on Digital Image Processing, 2009

Network Attack-Defense Simulation Training System Based on HLA.
Proceedings of the International Conference on Computer Modeling and Simulation, 2009

Scene Simulation Platform Based on Data Fusion of Multiple Format 3D Models.
Proceedings of the International Conference on Computer Modeling and Simulation, 2009

A picosecond TDC architecture for multiphase PLLs.
Proceedings of the 19th ACM Great Lakes Symposium on VLSI 2009, 2009

Tactical Communication Equipment Simulation Training Platform Based on VR.
Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

2008
Lempel-Ziv Factorization Using Less Time & Space.
Math. Comput. Sci., 2008

Paradigm shift: unified and associative feature-based concurrent and collaborative engineering.
J. Intell. Manuf., 2008

Personalised Instruction E-Learning Model Based on Knowledge Domain.
Trans. SDPS, 2008

Graphic sequences with a realization containing a generalized friendship graph.
Discret. Math., 2008

Three-dimensional reconstruction of the pancreas and its surrounding structures.
Comput. Medical Imaging Graph., 2008

Change propagation algorithm in a unified feature modeling scheme.
Comput. Ind., 2008

Comparative genomics and function analysis on BI1 family.
Comput. Biol. Chem., 2008

A Gradient BYY Harmony Learning Algorithm for Straight Line Detection.
Proceedings of the Advances in Neural Networks, 2008

A dual-field elliptic curve cryptographic processor based on a systolic arithmetic unit.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2008), 2008

A Fast Center of Mass Estimation Algorithm for Coordinates of IR Markers.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

A Design of Data Rebuilding for Decision Support in E-Government System.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Improving image clustering: An unsupervised feature weight learning framework.
Proceedings of the International Conference on Image Processing, 2008

Modeling and Simulation of Continuous Time-Invariant Systems in Simulation Based Learning Environments.
Proceedings of the Hybrid Learning and Education, First International Conference, 2008

Deploying HEP Applications on Multiple Grid Infrastructures.
Proceedings of the Seventh International Conference on Grid and Cooperative Computing, 2008

Discussion of approximation error bounds to the class of fuzzy system.
Proceedings of the FUZZ-IEEE 2008, 2008

A new image coding quality assessment.
Proceedings of the IEEE Asia Pacific Conference on Circuits and Systems, 2008

2007
A High-Performance Elliptic Curve Cryptographic Processor for General Curves Over GF(p) Based on a Systolic Arithmetic Unit.
IEEE Trans. Circuits Syst. II Express Briefs, 2007

A New Systolic Architecture for Modular Division.
IEEE Trans. Computers, 2007

GIS application in mineral resource analysis - A case study of offshore marine placer gold at Nome, Alaska.
Comput. Geosci., 2007

A note on potentially K<sub>1, 1, t</sub>-graphic sequences.
Australas. J Comb., 2007

Research on Service Management Data Modeling Based on SID.
Proceedings of the 66th IEEE Vehicular Technology Conference, 2007

A Comprehension-Based Approach for Query Optimization.
Proceedings of the Third International Conference on Semantics, 2007

Torsional Pile Subjected to Transient Loading in Viscoelastic Poroelastic Medium.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

Fast and Practical Algorithms for Computing All the Runs in a String.
Proceedings of the Combinatorial Pattern Matching, 18th Annual Symposium, 2007

Collaborative Education Model and Its Application in E-learning.
Proceedings of the 6th Annual IEEE/ACIS International Conference on Computer and Information Science (ICIS 2007), 2007

2006
An Audio Feature Extraction Method Taking Class Information into Account.
J. Comput. Res. Dev., 2006

Transfer, processing and distribution of cosmic ray data from Tibet.
Future Gener. Comput. Syst., 2006

A Novel Liver Perfusion Analysis Based on Active Contours and Chamfer Matching.
Proceedings of the Medical Imaging and Augmented Reality, 2006

Noise-robust speech recognition of conversational telephone speech.
Proceedings of the Ninth International Conference on Spoken Language Processing, 2006

Using VRML and JAVA to Build Virtual Game-Based Learning Environment for Addition and Subtraction Operation.
Proceedings of the Advances in Web Based Learning, 2006

A Fast Document Classification Algorithm Based on Improved KNN.
Proceedings of the First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August, 2006

Matrix Based Subdivision Depth Computation for Extra-Ordinary Catmull-Clark Subdivision Surface Patches.
Proceedings of the Geometric Modeling and Processing, 2006

Subdivision Depth Computation for Extra-Ordinary Catmull-Clark Subdivision Surface Patches.
Proceedings of the Advances in Computer Graphics, 2006

2005
Comparative analysis for the <i>N</i> policy M/G/1 queueing system with a removable and unreliable server.
Math. Methods Oper. Res., 2005

A New Rapid and Effective Chemistry Space Filter in Recognizing a Druglike Database.
J. Chem. Inf. Model., 2005

Cryptanalysis of a New Signal Security System for Multimedia Data Transmission.
EURASIP J. Adv. Signal Process., 2005

Nanophotonics - quantum dots, photonic crystals, and optical silicon circuits: An excursion into the optical behavior of very small things.
Bell Labs Tech. J., 2005

On Building and Updating Distributed LSI for P2P Systems.
Proceedings of the Parallel and Distributed Processing and Applications, 2005

Inelastic Simulation of Insect Cuticle Using Artificial Neural Network.
Proceedings of the Advances in Neural Networks - ISNN 2005, Second International Symposium on Neural Networks, Chongqing, China, May 30, 2005

A performance investigation of noisy voice recognition over IP telephony networks.
Proceedings of the 9th European Conference on Speech Communication and Technology, 2005

A New ART Neural Networks for Remote Sensing Image Classification.
Proceedings of the Advances in Natural Computation, First International Conference, 2005

2004
Soundness of Coercion in the Calculus of Constructions.
J. Log. Comput., 2004

Remote Sensing Image Classification Based on Evidence Theory and Neural Networks.
Proceedings of the Advances in Neural Networks, 2004

A Research on Chaos Forecast with the Capital Market Structure Model.
Proceedings of the Fourth International Conference on Electronic Business, 2004

2003
Guarded recursive datatype constructors.
Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

Coercive subtyping for the calculus of constructions.
Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

2002
Full integration of subtyping and if-expression.
Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

2001
An Effective Method for Chinese Grammar Rule Learning.
Int. J. Comput. Process. Orient. Lang., 2001

Dependent Types with Subtyping and Late-Bound Overloading.
Inf. Comput., 2001

Solving and analyzing PD0L inverse process.
Sci. China Ser. F Inf. Sci., 2001

The Design and Realization of E-Journals' Categorizing and Navigating System.
Proceedings of the 2nd International Conference on Web Information Systems Engineering, 2001

Portrait video phone.
Proceedings of the 9th ACM International Conference on Multimedia 2001, Ottawa, Ontario, Canada, September 30, 2001

2000
Design Wizards and Visual Programming Environments for GenVoca Generators.
IEEE Trans. Software Eng., 2000

Actively clamped bidirectional flyback converter.
IEEE Trans. Ind. Electron., 2000

1999
Reorganizing global schedules for register allocation.
Proceedings of the 13th international conference on Supercomputing, 1999

Java implementation of an object-oriented software metrics assessment tool.
Proceedings of the Computers and Their Applications (CATA-99), 1999

1998
Dependent type system with subtyping (I) type level transitivity elimination.
J. Comput. Sci. Technol., 1998

OSNET - A Language for Domain Modeling.
Proceedings of the TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 1998

Design wizards and visual programming environments for generators.
Proceedings of the Fifth International Conference on Software Reuse, 1998

1997
Subtyping Calculus of Construction (Extended Abstract).
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

1996
Generating and coding of fractal graphs by neural network and mathematical morphology methods.
IEEE Trans. Neural Networks, 1996

1995
Edge detection by regularized cubic B-spline fitting.
IEEE Trans. Syst. Man Cybern., 1995

The generation of a sort of fractal graphs.
J. Comput. Sci. Technol., 1995

1993
GPMB - software pipelining branch-intensive loops.
Proceedings of the 26th Annual International Symposium on Microarchitecture, 1993

1991
Nonuniform B-Spline Mesh Fairing Method.
Proceedings of the Computer Applications in the Automation of Shipyard Operation and Ship Design, 1991


  Loading...