Dantong Ouyang

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 56

Top Topics

Combinatorial Optimization

Search Algorithm

Top Venues

Frontiers Comput. Sci.

Sci. China Inf. Sci.

Publications

Xinliang Tian, Dantong Ouyang, Huisi Zhou, Rui Sun, Liming Zhang
DSLS: a simple and efficient local search algorithm for the maximum bisection problem. J. Heuristics 30 (1-2) (2024)
Ruoxuan Zhang, Dantong Ouyang, Lili He, Lingjin Kuang, Hongtao Bai
Recognize after early fusion: the Chinese food recognition based on the alignment of image and ingredients. Multim. Syst. 30 (2) (2024)
Luyu Jiang, Dantong Ouyang, Qi Zhang, Liming Zhang
DeciLS-PBO: an effective local search method for pseudo-Boolean optimization. Frontiers Comput. Sci. 18 (2) (2024)
Luyu Jiang, Dantong Ouyang, Huisi Zhou, Naiyu Tian, Liming Zhang
DPAHMA: a novel dual-population adaptive hybrid memetic algorithm for non-slicing VLSI floorplans. J. Supercomput. 79 (14) (2023)
Luyu Jiang, Dantong Ouyang, Qi Zhang, Liming Zhang
DeciLS-PBO: an Effective Local Search Method for Pseudo-Boolean Optimization. CoRR (2023)
Xinliang Tian, Dantong Ouyang, Yiyuan Wang, Huisi Zhou, Luyu Jiang, Liming Zhang
Combinatorial optimization and local search: A case study of the discount knapsack problem. Comput. Electr. Eng. 105 (2023)
Ran Tai, Dantong Ouyang, Ruizhi Li, Liming Zhang
ILSGVCP: An improved local search algorithm for generalized vertex cover problem. J. Oper. Res. Soc. 74 (11) (2023)
Jing Li, Dantong Ouyang, Yuxin Ye
Consequence-based Axiom Pinpointing for Expressive Description Logic Ontologies. Int. J. Softw. Informatics 13 (3) (2023)
Jianfeng Qu, Wen Hua, Dantong Ouyang, Xiaofang Zhou
A Noise-Aware Method With Type Constraint Pattern for Neural Relation Extraction. IEEE Trans. Knowl. Data Eng. 35 (2) (2023)
Huisi Zhou, Dantong Ouyang, Xinliang Tian, Liming Zhang
DiagDO: an efficient model based diagnosis approach with multiple observations. Frontiers Comput. Sci. 17 (6) (2023)
Rui Sun, Dantong Ouyang, Xinliang Tian, Liming Zhang
An efficient power set mapping space blocking algorithm for sensor selection in uncertain systems with quantified diagnosability requirements. Appl. Intell. 53 (3) (2023)
Lili He, Zhiwei Cai, Dantong Ouyang, Hongtao Bai
Food Recognition Model Based on Deep Learning and Attention Mechanism. BigCom (2022)
Lili He, Zhiwei Cai, Dantong Ouyang, Hongtao Bai
Food Recognition Model Based on Deep Learning and Attention Mechanism. BigCom (2022)
Yimou Hou, Dantong Ouyang, Xinliang Tian, Liming Zhang
Evolutionary many-objective satisfiability solver for configuring software product lines. Appl. Intell. 52 (9) (2022)
Huisi Zhou, Dantong Ouyang, Xiangfu Zhao, Liming Zhang
Two Compacted Models for Efficient Model-Based Diagnosis. AAAI (2022)
Huisi Zhou, Dantong Ouyang, Liming Zhang, Naiyu Tian
Model-based diagnosis with improved implicit hitting set dualization. Appl. Intell. 52 (2) (2022)
Dantong Ouyang, Mengting Liao, Yuxin Ye
Lightweight axiom pinpointing via replicated driver and customized SAT-solving. Frontiers Comput. Sci. 17 (2) (2022)
Jianfeng Qu, Wen Hua, Dantong Ouyang, Xiaofang Zhou
An efficient and effective approach for multi-fact extraction from text corpus. World Wide Web 25 (1) (2022)
Xinliang Tian, Dantong Ouyang, Rui Sun, Huisi Zhou, Liming Zhang
Two efficient local search algorithms for the vertex bisection minimization problem. Inf. Sci. 609 (2022)
Yu Zhang, Ruxian Yao, Dantong Ouyang, Jinfeng Gao, Fang Liu
Debugging incoherent ontology by extracting a clash module and identifying root unsatisfiable concepts. Knowl. Based Syst. 223 (2021)
Xiangfu Zhao, Xiangrong Tong, Dantong Ouyang, Liming Zhang, Yanzhi Hou
TreeMerge: Efficient Generation of Minimal Hitting-Sets for Conflict Sets in Tree Structure for Model-Based Fault Diagnosis. IEEE Trans. Reliab. 70 (4) (2021)
Naiyu Tian, Dantong Ouyang, Yiyuan Wang, Yimou Hou, Liming Zhang
Core-guided method for constraint-based multi-objective combinatorial optimization. Appl. Intell. 51 (6) (2021)
Yuxin Ye, Xianji Cui, Dantong Ouyang
Extracting a justification for OWL ontologies by critical axioms. Frontiers Comput. Sci. 14 (4) (2020)
Xuena Geng, Dantong Ouyang, Zhengang Jiang
Pattern diagnosis for stochastic discrete event systems. Eng. Appl. Artif. Intell. 87 (2020)
Jie Gao, Dantong Ouyang, Yuxin Ye
Exploring duality on ontology debugging. Appl. Intell. 50 (2) (2020)
Meng Liu, Dantong Ouyang, Naiyu Tian, Hua Li
A Local Search Approach for Batch Repair With Configuration Neighbor and Sub-Degree in Circuit System. IEEE Access 8 (2020)
Chuang Li, Dantong Ouyang, Xiaoyu Wang, Wei Wei
An Intelligent Planning-Based Modeling Method for Diagnosis and Repair. Wirel. Commun. Mob. Comput. 2020 (2020)
Xiangfu Zhao, Gianfranco Lamperti, Dantong Ouyang, Xiangrong Tong
Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata. Complex. 2020 (2020)
Jianfeng Qu, Wen Hua, Dantong Ouyang, Xiaofang Zhou, Ximing Li
A Fine-grained and Noise-aware Method for Neural Relation Extraction. CIKM (2019)
Jingpei Lei, Dantong Ouyang, Ying Liu
Adversarial Knowledge Representation Learning Without External Model. IEEE Access 7 (2019)
Jianfeng Qu, Dantong Ouyang, Wen Hua, Yuxin Ye, Xiaofang Zhou
Discovering Correlations between Sparse Features in Distant Supervision for Relation Extraction. WSDM (2019)
Mengyu Gao, Yuxin Ye, Dantong Ouyang, Bin Wang
Finding Justifications by Approximating Core for Large-scale Ontologies. IJCAI (2019)
Lili He, Hongtao Bai, Yu Jiang, Dantong Ouyang, Shanshan Jiang
Revised simplex algorithm for linear programming on GPUs with CUDA. Multim. Tools Appl. 77 (22) (2018)
Nan Wang, Shanwu Sun, Dantong Ouyang
Business Process Modeling Abstraction Based on Semi-Supervised Clustering Analysis. Bus. Inf. Syst. Eng. 60 (6) (2018)
Naiyu Tian, Dantong Ouyang, Fengyu Jia, Meng Liu, Liming Zhang
A Parallel Extension Rule-Based Algorithm for #SAT Problem Using Model-Counting Tree. IEEE Access 6 (2018)
Xiangfu Zhao, Dantong Ouyang, Liming Zhang
Computing all minimal hitting sets by subset recombination. Appl. Intell. 48 (2) (2018)
Yuxin Ye, Ling Zhang, Dantong Ouyang, Mengyu Gao
Constructive Justification Extraction for OWL Ontologies. KSEM (2) (2018)
Jianfeng Qu, Dantong Ouyang, Wen Hua, Yuxin Ye, Ximing Li
Distant supervision for neural relation extraction integrated with word attention and property features. Neural Networks 100 (2018)
Ya Tao, Dantong Ouyang, Meng Liu, Liming Zhang
An Efficient Approach for Computing Conflict Sets Combining Failure Probability with SAT. KSEM (2) (2018)
Meng Liu, Dantong Ouyang, Liming Zhang
A novel approach for improving quality of health state with difference degree in circuit diagnosis. Appl. Intell. 48 (11) (2018)
Meng Liu, Dantong Ouyang, Shaowei Cai, Liming Zhang
Efficient zonal diagnosis with maximum satisfiability. Sci. China Inf. Sci. 61 (11) (2018)
Yiyuan Wang, Dantong Ouyang, Minghao Yin, Liming Zhang, Yonggang Zhang
A restart local search algorithm for solving maximum set k-covering problem. Neural Comput. Appl. 29 (10) (2018)
Xuena Geng, Dantong Ouyang, Yonggang Zhang
Model-based diagnosis of incomplete discrete-event system with rough set theory. Sci. China Inf. Sci. 60 (1) (2017)
Yu Zhang, Dantong Ouyang, Yuxin Ye
An Optimization Strategy for Debugging Incoherent Terminologies in Dynamic Environments. IEEE Access 5 (2017)
Yaqing Liu, Dantong Ouyang, Yong Liu, Rong Chen
A Novel Approach Based on Time Cluster for Activity Recognition of Daily Living in Smart Homes. Symmetry 9 (10) (2017)
Yiyuan Wang, Minghao Yin, Dantong Ouyang, Liming Zhang
-covering problem. Int. Trans. Oper. Res. 24 (6) (2017)
Yiyuan Wang, Dantong Ouyang, Liming Zhang, Minghao Yin
A novel local search for unicost set covering problem using hyperedge configuration checking and weight diversity. Sci. China Inf. Sci. 60 (6) (2017)
Yanbin Shi, Xiaoqi Li, Dantong Ouyang, Hongtao Jiang
Multimodal Usability of Human-Computer Interaction Based on Task-Human-Computer-Centered Design. ICIC (1) (2017)
Yu Zhang, Dantong Ouyang, Yuxin Ye
Glass-Box Debugging Algorithm Based on Unsatisfiable Dependent Paths. IEEE Access 5 (2017)
Shanwu Sun, Nan Wang, Dantong Ouyang
基于聚类分析的业务流程模型抽象 (Business Process Model Abstraction Based on Cluster Analysis). 计算机科学 43 (5) (2016)
Xuena Geng, Dantong Ouyang, Xiangfu Zhao, Shuang Hao
Probabilistic logical approach for testing diagnosability of stochastic discrete event systems. Eng. Appl. Artif. Intell. 53 (2016)
Yanbin Shi, Dantong Ouyang
Usability Evaluation of the Flight Simulator's Human-Computer Interaction. ICIC (2) (2016)
Xianji Cui, Dantong Ouyang, Jialiang He
Integrity Constraint Validation in DL-Lite _R Based Ontology Using Rewriting. ICYCSEE (2) (2016)
Xiao-Xing Xu, Dantong Ouyang, Jie Liu, Yuxin Ye
Recommending Entities for E-R Model by Ontology Reasoning Techniques. FSDM (2016)
Ying Liu, Dantong Ouyang, Wenxiang Gu, Lei Wang
A Discrete Artificial Bee Colony Algorithm for Permutation Flow Shop Scheduling. ISCID (2) (2016)
Xiangfu Zhao, Dantong Ouyang
Deriving all minimal hitting-sets by merging. ICIA (2016)
Yiyuan Wang, Dantong Ouyang, Liming Zhang
Improved Algorithm of Unsatisfiability-based Maximum Satisfiability. IWOST-1 (2015)
Shanwu Sun, Nan Wang, Dantong Ouyang
形式化智能世界的建模过程 (Formalizing Modeling Process of Intelligence World). 计算机科学 42 (5) (2015)
Yu Zhang, Dantong Ouyang, Yuxin Ye
An Automatic Way of Generating Incoherent Terminologies with Parameters. IWOST-1 (2015)
Xiangbin Gao, Dantong Ouyang, Yuxin Ye
Designment of E-R model based on RDF(S). IWOST-2 (2015)
Xiangfu Zhao, Dantong Ouyang
Deriving All Minimal Hitting Sets Based on Join Relation. IEEE Trans. Syst. Man Cybern. Syst. 45 (7) (2015)
Yuxin Ye, Dantong Ouyang, Jing Su
Entailment-based Axiom Pinpointing in Debugging Incoherent Terminologies. IWOST-1 (2015)
Wei Wei, Dantong Ouyang, Tingting Zou, Shuai Lu
A Novel Heuristic Usage of Helpful Actions for Conformant-FF System. J. Comput. 8 (6) (2013)
Dantong Ouyang, Xianji Cui, Yuxin Ye
Integrity constraints in OWL ontologies based on grounded circumscription. Frontiers Comput. Sci. 7 (6) (2013)
Xiangfu Zhao, Dantong Ouyang, Liming Zhang, Xiaoyu Wang, Yuchang Mo
Reasoning on partially-ordered observations in online diagnosis of DESs. AI Commun. 25 (4) (2012)
Hongjie Fu, Dantong Ouyang, Jiaming Xu
A self-adaptive differential evolution algorithm for binary CSPs. Comput. Math. Appl. 62 (7) (2011)
Liming Zhang, Hai-Lin Zeng, Fang Yang, Dantong Ouyang
Dynamic theorem proving algorithm for consistency-based diagnosis. Expert Syst. Appl. 38 (6) (2011)
Xuena Geng, Dantong Ouyang, Jinsong Guo, Xiaoyu Wang
Disassembling and Reconstructing Algorithms for Discrete Event Systems. ICTAI (2011)
Lian Shi, Shuai Lu, Tao Sun, Dantong Ouyang
A hybrid system combining intuitionistic fuzzy description logics with intuitionistic fuzzy logic programs. FSKD (2011)
Xuchu Dong, Dantong Ouyang, Yuxin Ye, Haihong Yu, Yonggang Zhang
A Multi-heuristic Cooperative Ant Colony System for Optimizing Elimination Ordering of Bayesian Networks. IAT (2010)
Xuchu Dong, Haihong Yu, Dantong Ouyang, Yuxin Ye, Yonggang Zhang
A diversity-guided heuristic-based genetic algorithm for triangulation of Bayesian networks. NCM (2010)
Yuxin Ye, Dantong Ouyang, Xuchu Dong
Persistent Storage and Query of Expressive Ontology. WKDD (2010)
Shasha Feng, Yonggang Zhang, Dantong Ouyang, Haiyan Che, Jie Liu
The Logical Difference For Fuzzy EL+ Ontologies. Description Logics (2010)
Shasha Feng, Dantong Ouyang, Yonggang Zhang
The Logical Difference for Fuzzy Ontologies. CIT (2010)
Xianji Cui, Dantong Ouyang, Yuxin Ye
Persistent Storage of Ontology-Based Data with Integrity Constraints. FCST (2010)
Youjun Xu, Dantong Ouyang, Yuxin Ye
Model Counting with Boolean Algebra and Extension Rule. J. Convergence Inf. Technol. 5 (7) (2010)
Xuchu Dong, Haihong Yu, Dantong Ouyang, Dianbo Cai, Yuxin Ye, Yonggang Zhang
Cooperative coevolutionary genetic algorithms to find optimal elimination orderings for Bayesian networks. BIC-TA (2010)
Hongjie Fu, Dantong Ouyang, Jiaming Xu
A self-adaptive differential evolution algorithm for binary CSPs. ICNC (2010)
Youjun Xu, Dantong Ouyang, Yuxin Ye, Jialiang He
Solving SAT Problem with Boolean Algebra. FCST (2010)
Changsheng Zhang, Jiaxu Ning, Dantong Ouyang
A hybrid alternate two phases particle swarm optimization algorithm for flow shop scheduling problem. Comput. Ind. Eng. 58 (1) (2010)
Nan Wang, Dantong Ouyang, Shanwu Sun
Formalizing Ontology-Based Hierarchical Modeling Process of Physical World. AICI (1) (2010)
Xuchu Dong, Dantong Ouyang, Yuxin Ye, Shasha Feng, Haihong Yu
A Stable Stochastic Optimization Algorithm for Triangulation of Bayesian Networks. WKDD (2010)
Changsheng Zhang, Dantong Ouyang, Jiaxu Ning
An artificial bee colony approach for clustering. Expert Syst. Appl. 37 (7) (2010)
Changsheng Zhang, Jiaxu Ning, Shuai Lu, Dantong Ouyang, Tienan Ding
A novel hybrid differential evolution and particle swarm optimization algorithm for unconstrained optimization. Oper. Res. Lett. 37 (2) (2009)
Nan Wang, Dantong Ouyang, Shanwu Sun, Chengli Zhao
Formalizing the Modeling Process of Physical Systems in MBD. AICI (2009)
Ling Ji, Dantong Ouyang, Yuxin Ye
SHOIQD System an Approach to Integrate Description Logic SHOIQ with Nonmonotonic Rules. NCM (2009)
Hongtao Bai, Lili He, Dantong Ouyang, Zhan-Shan Li, He Li
K-Means on Commodity GPUs with CUDA. CSIE (3) (2009)
Huijie Zhang, Dantong Ouyang, Heping Lin, Weizhou Guan
Texture Synthesis Based on Terrain Feature Recognition. CSSE (2) (2008)
Huijie Zhang, Dantong Ouyang, Heping Lin, Jingbo Zhang
A Terrain Model Simplification Method Based on Adaptive Threshold Selection. CSSE (2) (2008)
Xiangfu Zhao, Dantong Ouyang
On-Line Diagnosis of Discrete-Event Systems: A Hierarchical Approach. RAM (2008)
Xiangfu Zhao, Dantong Ouyang
Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model. ECAI (2008)
Xiangfu Zhao, Dantong Ouyang
On-line diagnosis of discrete event systems with two successive temporal windows. AI Commun. 21 (4) (2008)
Yu Jiao, Dantong Ouyang, Xiangfu Zhao
A complete approach to identify conflict sets based on ATMS. SMC (2008)
Xiangfu Zhao, Dantong Ouyang
An extended hierarchical framework for definitions of diagnosability of discrete event systems. SMC (2008)
Xiao-Shan Gao, Dantong Ouyang, Ji-gui Sun, Sanjiang Li, Tian-shun Yao, Ruzhan Lu, Chun-yi Shi, Zhangang Han, Jue Wang, Cun-gen Cao, Ruqian Lu
AI in China: A Survey. IEEE Intell. Syst. 23 (6) (2008)
Xiangfu Zhao, Dantong Ouyang
Improved Algorithms for Deriving All Minimal Conflict Sets in Model-Based Diagnosis. ICIC (1) (2007)
Xiaochun Cheng, Dantong Ouyang, Yunfei Jiang, Chengqi Zhang
An improved model-based method to test circuit faults. Theor. Comput. Sci. 341 (1-3) (2005)