| Desingularization and p-Curvature of Recurrence Operators. | 0 | 0.34 | 2022 |
| Cross-Lingual Voice Conversion with a Cycle Consistency Loss on Linguistic Representation. | 0 | 0.34 | 2021 |
| Mutli-level Regression Anchor-free Object Detection. | 0 | 0.34 | 2021 |
| Long-term Prediction Algorithm for Navigation Satellite Clocks Supported by Inter-satellite Links. | 0 | 0.34 | 2021 |
| Multimodal Learning for Hateful Memes Detection | 0 | 0.34 | 2021 |
| The Volctrans GLAT System - Non-autoregressive Translation Meets WMT21. | 0 | 0.34 | 2021 |
| Blender - A Traffic-Aware Container Placement for Containerized Data Centers. | 0 | 0.34 | 2021 |
| Embedding High-Level Knowledge Into Dqns To Learn Faster And More Safely | 0 | 0.34 | 2020 |
| Personalized Singing Voice Generation Using WaveRNN. | 0 | 0.34 | 2020 |
| DOA Estimation Based on Intelligent FMCW Radar with Triangle Array Antenna. | 0 | 0.34 | 2020 |
| Predicting the Quality of Translations Without an Oracle. | 0 | 0.34 | 2019 |
| Hybrid coarse-fine classification for head pose estimation. | 0 | 0.34 | 2019 |
| How Well Do Machines Perform on IQ tests: a Comparison Study on a Large-Scale Dataset. | 0 | 0.34 | 2019 |
| A Deep Learning-Based System for PharmaCoNER. | 0 | 0.34 | 2019 |
| Dual-enhanced Word Representations Based on Knowledge Base. | 0 | 0.34 | 2018 |
| A progression semantics for first-order logic programs. | 0 | 0.34 | 2017 |
| Structured Production System (extended abstract). | 0 | 0.34 | 2017 |
| From First-Order Logic To Assertional Logic | 0 | 0.34 | 2017 |
| Assertional Logic: Towards an Extensible Knowledge Model (extended abstract). | 0 | 0.34 | 2017 |
| Integrating Answer Set Programming with Semantic Dictionaries for Robot Task Planning. | 4 | 0.41 | 2017 |
| Combining tabu search and graph reduction to solve the maximum balanced biclique problem. | 0 | 0.34 | 2017 |
| 基于Max-Min模型的无线体域网路由协议 (Wireless Body Area Network Routing Protocol Based on Max-Min Model). | 0 | 0.34 | 2016 |
| Design of a Cooperative Vehicular Platoon System Based on Zynq/SoC Architecture. | 0 | 0.34 | 2016 |
| Lower Bounds on Blowing-Up Solutions of the Three-Dimensional Navier-Stokes Equations in đot H3/2, đot H5/2, and đot B5/22, 1. | 0 | 0.34 | 2016 |
| A Set Theoretic Approach for Knowledge Representation: the Representation Part. | 0 | 0.34 | 2016 |
| 无线体域网中基于时隙滑动窗口的概率路由协议 (Probability Routing Protocol Based on Slotted Sliding Window in Wireless Body Area Network). | 0 | 0.34 | 2016 |
| An algorithm for the diversity of XML document based on the model of the rights-distribution for ancestral property and its testing application in the field of health and Chinese Medicine | 0 | 0.34 | 2015 |
| Accelerating BigBench on Hadoop. | 0 | 0.34 | 2015 |
| Cooperative service model innovation and pilot application in the prevention and control on diabetic retinopathy with web-movable hand-hold fundus camera in regional health and medicine of digitization | 0 | 0.34 | 2015 |
| First-Order Disjunctive Logic Programming vs Normal Logic Programming. | 2 | 0.37 | 2015 |
| A logical study of partial entailment | 0 | 0.34 | 2014 |
| Knowledge forgetting in answer set programming | 7 | 0.45 | 2014 |
| From Disjunctive to Normal Logic Programs via Unfolding and Shifting. | 2 | 0.37 | 2014 |
| Preferred First-Order Answer Set Programs | 1 | 0.36 | 2014 |
| First-Order Default Logic Revisited. | 0 | 0.34 | 2014 |
| Majority Rule for Belief Evolution in Social Networks. | 0 | 0.34 | 2013 |
| Constructive Circumscription. | 0 | 0.34 | 2013 |
| Forgetting in Logic Programs under Strong Equivalence. | 5 | 0.42 | 2012 |
| Ordered completion for logic programs with aggregates | 7 | 0.59 | 2012 |
| RDL: enhancing description logic with rules | 0 | 0.34 | 2012 |
| Progression Semantics for Disjunctive Logic Programs. | 7 | 0.45 | 2011 |
| Achieving High Branch Coverage with Fewer Paths | 3 | 0.43 | 2011 |
| Translating first-order theories into logic programs | 3 | 0.38 | 2011 |
| Bounded Forgetting. | 0 | 0.34 | 2011 |
| Loop-separable programs and their first-order definability | 6 | 0.44 | 2011 |
| Ordered completion for first-order logic programs on finite structures | 19 | 0.82 | 2010 |
| dl2asp: implementing default logic via answer set programming | 4 | 0.39 | 2010 |
| Optimization for one gasoline engine exhaust system based on BOOST | 0 | 0.34 | 2010 |
| Foundations of Tree-like Local Model Updates | 2 | 0.40 | 2010 |
| Forgetting Revisited | 0 | 0.34 | 2010 |
