| Efficient Adaptive Online Learning via Frequent Directions | 0 | 0.34 | 2022 |
| Improving Neural Network Verification through Spurious Region Guided Refinement. | 0 | 0.34 | 2021 |
| Evaluation of the Radiometric Calibration of FY4A-AGRI Thermal Infrared Data Using Lake Qinghai | 0 | 0.34 | 2021 |
| DSMN: A Personalized Information Retrieval Algorithm Based on Improved DSSM | 0 | 0.34 | 2021 |
| Cross-Cultural O2o English Teaching Based On Ai Emotion Recognition And Neural Network Algorithm | 0 | 0.34 | 2021 |
| Analysis Of The Parameter Extraction For On-Chip Transmission Lines | 0 | 0.34 | 2020 |
| Double Wronskian solutions to the (2+1)-dimensional Broer-Kaup-Kupershmidt equation | 0 | 0.34 | 2020 |
| A New Type Of Solitary Wave Solution Of The Mkdv Equation Under Singular Perturbations | 0 | 0.34 | 2020 |
| A Deep Exploration of BitLocker Encryption and Security Analysis | 0 | 0.34 | 2020 |
| Entropy Analysis On The Blood Flow Through Anisotropically Tapered Arteries Filled With Magnetic Zinc-Oxide (Zno) Nanoparticles | 1 | 0.48 | 2020 |
| Fast Decryption of Excel Document Encrypted by RC4 Algorithm | 0 | 0.34 | 2020 |
| Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling. | 0 | 0.34 | 2020 |
| High Spatiotemporal Resolution Mapping of Surface Water in the Southwest Poyang Lake and Its Responses to Climate Oscillations. | 0 | 0.34 | 2020 |
| 6dof Pose Estimation Of Transparent Object From A Single Rgb-D Image | 0 | 0.34 | 2020 |
| Design and Optimization for 77 GHz Series-Fed Patch Array Antenna Based on Genetic Algorithm. | 0 | 0.34 | 2020 |
| Full-Sphere Binaural Sound Source Localization Using Multi-task Neural Network | 0 | 0.34 | 2020 |
| Convolutional Capsule-Based Network for Person Re-identification | 0 | 0.34 | 2019 |
| Active attitude fault-tolerant tracking control of flexible spacecraft via the Chebyshev neural network | 0 | 0.34 | 2019 |
| Chinese Event Detection Based On Multi-Feature Fusion And Bilstm | 0 | 0.34 | 2019 |
| A Write-Verification Method for Non-Volatile Memory | 0 | 0.34 | 2019 |
| An Extensive Analysis of TrueCrypt Encryption Forensics | 0 | 0.34 | 2019 |
| Deep Learning for an Anti-Jamming CPM Receiver | 0 | 0.34 | 2019 |
| Adaptive Indoor Localization with Wi-Fi Based on Transfer Learning | 0 | 0.34 | 2019 |
| Zero-Shot Restoration of Back-lit Images Using Deep Internal Learning | 0 | 0.34 | 2019 |
| A Margin Adjustable Amplifier Circuit for RRAM Read Access | 0 | 0.34 | 2019 |
| Generative Adversarial Network-Based Image Super-Resolution With A Novel Quality Loss | 0 | 0.34 | 2019 |
| Plant Leaf Recognition Based on Conditional Generative Adversarial Nets | 0 | 0.34 | 2019 |
| Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems. | 0 | 0.34 | 2018 |
| Learning Büchi Automata and Its Applications. | 0 | 0.34 | 2018 |
| 不平衡数据分类研究综述 (Overview of Imbalanced Data Classification). | 0 | 0.34 | 2018 |
| An Image dehazing approach based on the airlight field estimation. | 0 | 0.34 | 2018 |
| A Wasserstein GAN model with the total variational regularization. | 0 | 0.34 | 2018 |
| Research on Degeneration Model of Neural Network for Deep Groove Ball Bearing Based on Feature Fusion. | 3 | 0.51 | 2018 |
| Model Checking Differentially Private Properties. | 0 | 0.34 | 2018 |
| 𝓁1-regression with Heavy-tailed Distributions. | 0 | 0.34 | 2018 |
| Advanced automata-based algorithms for program termination checking. | 2 | 0.37 | 2018 |
| Multidiscipline Integrated Platform Based on Probabilistic Analysis for Manufacturing Engineering Processes. | 0 | 0.34 | 2018 |
| Efficient Asynchronous Communication between Virtual Machines in Embedded Systems | 0 | 0.34 | 2017 |
| A Novel Learning Algorithm For Buchi Automata Based On Family Of Dfas And Classification Trees | 0 | 0.34 | 2017 |
| A Layer-Mixed FEC Scheme for Scalable Media Transmission Over Mobile TV Services. | 0 | 0.34 | 2017 |
| GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs. | 0 | 0.34 | 2016 |
| A Simple Algorithm For Solving Qualitative Probabilistic Parity Games | 4 | 0.40 | 2016 |
| Verify LTL with Fairness Assumptions Efficiently | 1 | 0.36 | 2016 |
| Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes. | 3 | 0.39 | 2016 |
| Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata. | 35 | 0.91 | 2016 |
| A projection-based decomposition for the scalability of evolvable hardware | 3 | 0.40 | 2016 |
| A systematic EHW approach to the evolutionary design of sequential circuits | 1 | 0.35 | 2016 |
| A space-efficient simulation algorithm on probabilistic automata. | 3 | 0.39 | 2016 |
| A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks. | 9 | 0.46 | 2016 |
| Multiphase until formulas over Markov reward models: An algebraic approach. | 0 | 0.34 | 2016 |
