Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Dayou Liu

dblp:17/6835 · DBLP profile ↗
← Back
51ranked-venue papers
4as first author
1since 2021 · last 2023
0000-0002-2746-6527ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 31 · 1 first-author · 1 since 2021Databases, data management, data science and information retrieval · 18Applied, interdisciplinary, general and emerging computing · 8 · 3 first-authorGraphics, computer vision, multimedia, augmented reality and games · 4Human-computer interaction and ubiquitous computing · 3Systems, architecture and hardware · 1Security and privacy · 1Software engineering, systems software and programming languages · 1Theory of computation · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
2 papers
Logic in computer science · 28% Automated reasoning and model checking · 24% Coding theory · 24%
Databases, data mining, and information retrieval
4 papers
Recommender systems · 53% Data mining · 47%
Artificial intelligence
1 paper
Knowledge representation and reasoning · 100%
Interdisciplinary, comprehensive, and emerging computing
1 paper
Energy systems and smart grids · 100%

Topics — the 12 heaviest of 13, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Coding theory › error-correcting codes › decoding › minimum distance decoding
bounded-distance decoding
0.312017
New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract) · IJCAI 2017
Logic in computer science › rewriting
canonical form
0.312017
New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract) · IJCAI 2017
Automated reasoning and model checking
knowledge compilation
0.312017
New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract) · IJCAI 2017
Computational complexity › descriptive complexity
succinctness
0.312017
New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract) · IJCAI 2017
Energy systems and smart grids › cyber-physical system
cyber-physical-social systems
0.212016
Intelligent CPSS and its application to health care computing · Sci. China Inf. Sci. 2016
Data mining › structured data mining › graph mining
community detection
0.212015
A Stochastic Model for Detecting Heterogeneous Link Communities in Complex Networks · AAAI 2015
Recommender systems
collaborative filtering
0.212013
Social Collaborative Filtering by Trust · IJCAI 2013
Recommender systems › social recommendation
trust-based recommendation
0.212013
Social Collaborative Filtering by Trust · IJCAI 2013
Knowledge, reasoning and agents › Knowledge representation and reasoning
inconsistency handling
0.112017
Ordered proposition fusion based on consistency and uncertainty measurements · Sci. China Inf. Sci. 2017
Data mining › pattern mining
association rule mining
0.012003
The Rough Set Approach to Association Rule Mining · ICDM 2003
Logic in computer science › knowledge representation and reasoning › uncertainty reasoning
rough set theory
0.012003
The Rough Set Approach to Association Rule Mining · ICDM 2003
Data mining › predictive modeling
classification
0.012001
Classification through Maximizing Density · ICDM 2001

Methods — techniques the papers use, named apart from their topics

uncertainty measurement · 0.3consistency measurement · 0.3conjunctive decomposition · 0.3iterative bipartition · 0.2expectation-maximization · 0.2trust propagation · 0.2rough set theory · 0.1lattice machine · 0.0
YearPublicationVenuePosition
2023 A survey on neural-symbolic learning systems
Dongran Yu, Bo Yang 0002, Dayou Liu, Hui Wang 0001, Shirui Pan
Neural Networks3
2020 Bayesian differential analysis of gene regulatory networks exploiting genetic perturbations
abstract
BACKGROUND: Gene regulatory networks (GRNs) can be inferred from both gene expression data and genetic perturbations. Under different conditions, the gene data of the same gene set may be different from each other, which results in different GRNs. Detecting structural difference between GRNs under different conditions is of great significance for understanding gene functions and biological mechanisms. RESULTS: In this paper, we propose a Bayesian Fused algorithm to jointly infer differential structures of GRNs under two different conditions. The algorithm is developed for GRNs modeled with structural equation models (SEMs), which makes it possible to incorporate genetic perturbations into models to improve the inference accuracy, so we name it BFDSEM. Different from the naive approaches that separately infer pair-wise GRNs and identify the difference from the inferred GRNs, we first re-parameterize the two SEMs to form an integrated model that takes full advantage of the two groups of gene data, and then solve the re-parameterized model by developing a novel Bayesian fused prior following the criterion that separate GRNs and differential GRN are both sparse. CONCLUSIONS: Computer simulations are run on synthetic data to compare BFDSEM to two state-of-the-art joint inference algorithms: FSSEM and ReDNet. The results demonstrate that the performance of BFDSEM is comparable to FSSEM, and is generally better than ReDNet. The BFDSEM algorithm is also applied to a real data set of lung cancer and adjacent normal tissues, the yielded normal GRN and differential GRN are consistent with the reported results in previous literatures. An open-source program implementing BFDSEM is freely available in Additional file 1.
Yan Li 0061, Dayou Liu, Tengfei Li 0004, Yungang Zhu
BMC Bioinform.2
2017 New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract)
abstract
We identify two families of canonical representations called ROBDD[/\i^]_C and ROBDD[/\T^,i]_T by augmenting ROBDD with two types of conjunctive decompositions. These representations cover the three existing languages ROBDD, ROBDD with as many implied literals as possible (ROBDD-L_&infin), and AND/OR BDD. We introduce a new time efficiency criterion called rapidity which reflects the idea that exponential operations may be preferable if the language can be exponentially more succinct. Then we demonstrate that the expressivity, succinctness and operation rapidity do not decrease from ROBDD[/\T^,i]_T to ROBDD[/\i^]_C, and then to ROBDD[/\i+1^]_C. We also demonstrate that ROBDD[/\i^]_C (i > 1) and ROBDD[/\T^,i]_T are not less tractable than ROBDD-L_&infin and ROBDD, respectively. Finally, we develop a compiler for ROBDD[/\&infin^]_C which significantly advances the compiling efficiency of canonical representations.
Yong Lai 0001, Dayou Liu, Minghao Yin
IJCAI2
2017 Ordered proposition fusion based on consistency and uncertainty measurements
Dayou Liu, Yungang Zhu, Ni Ni, Jie Liu 0014
Sci. China Inf. Sci.1
2017 New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition
abstract
We identify two families of canonical knowledge compilation languages. Both families augment ROBDD with conjunctive decomposition bounded by an integer i ranging from 0 to ∞. In the former, the decomposition is finest and the decision respects a chain C of variables, while both the decomposition and decision of the latter respect a tree T of variables. In particular, these two families cover the three existing languages ROBDD, ROBDD with as many implied literals as possible, and AND/OR BDD. We demonstrate that each language in the first family is complete, while each one in the second family is incomplete with expressivity that does not decrease with incremental i. We also demonstrate that the succinctness does not decrease from the i-th language in the second family to the i-th language in the first family, and then to the (i+1)-th language in the first family. For the operating efficiency, on the one hand, we show that the two families of languages support a rich class of tractable logical operations, and particularly the tractability of each language in the second family is not less than that of ROBDD; and on the other hand, we introduce a new time efficiency criterion called rapidity which reflects the idea that exponential operations may be preferable if the language can be exponentially more succinct, and we demonstrate that the rapidity of each operation does not decrease from the i-th language in the second family to the i-th language in the first family, and then to the (i+1)-th language in the first family. Furthermore, we develop a compiler for the last language in the first family (i = ∞). Empirical results show that the compiler significantly advances the compiling efficiency of canonical representations. In fact, its compiling efficiency is comparable with that of the state-of-the-art compilers of non-canonical representations. We also provide a compiler for the i-th language in the first family by translating the last language in the first family into the i-th language (i < ∞). Empirical results show that we can sometimes use the i-th language instead of the last language without any obvious loss of space efficiency.
Yong Lai 0001, Dayou Liu, Minghao Yin
J. Artif. Intell. Res.2
2016 Intelligent CPSS and its application to health care computing
Dayou Liu, Bo Yang 0002, Shang Gao 0005, Yungang Zhu, Yong Lai 0001
Sci. China Inf. Sci.1
2016 Evolving support vector machines using fruit fly optimization for medical data classification
LiMing Shen, Huiling Chen 0001, Wenchang Kang, Bingyu Zhang, Huai Zhong Li, Bo Yang 0002, Dayou Liu
Knowl. Based Syst.8
2015 A Stochastic Model for Detecting Heterogeneous Link Communities in Complex Networks
abstract
Discovery of communities in networks is a fundamental data analysis problem. Most of the existing approaches have focused on discovering communities of nodes, while recent studies have shown great advantages and utilities of the knowledge of communities of links. Stochastic models provides a promising class of techniques for the identification of modular structures, but most stochastic models mainly focus on the detection of node communities rather than link communities. We propose a stochastic model, which not only describes the structure of link communities, but also considers the heterogeneous distribution of community sizes, a property which is often ignored by other models. We then learn the model parameters using a method of maximum likelihood based on an expectation-maximization algorithm. To deal with large complex real networks, we extend the method by a strategy of iterative bipartition. The extended method is not only efficient, but is also able to determine the number of communities for a given network. We test our approach on both synthetic benchmarks and real-world networks including an application to a large biological network, and also compare it with two existing methods. The results demonstrate the superior performance of our approach over the competing methods for detecting link communities.
Dongxiao He, Dayou Liu, Di Jin 0001, Weixiong Zhang
AAAI2
2014 Multi-granularity and metric spatial reasoning
Sheng-Sheng Wang 0001, Dayou Liu, Bolou Bolou Dickson, Xin-ying Wang
Expert Syst. Appl.3
2014 Representation, reasoning and similar matching for detailed topological relations with DTString
Sheng-Sheng Wang 0001, Dong Liu 0027, Dayou Liu
Inf. Sci.4
2013 Social Collaborative Filtering by Trust
Bo Yang 0002, Yu Lei 0004, Dayou Liu, Jiming Liu 0001
IJCAI3
2013 Hierarchical community detection with applications to real-world network analysis
Bo Yang 0002, Di Jin 0001, Jiming Liu 0001, Dayou Liu
Data Knowl. Eng.4
2013 Reduced ordered binary decision diagram with implied literals: a new knowledge compilation approach
Yong Lai 0001, Dayou Liu, Sheng-Sheng Wang 0001
Knowl. Inf. Syst.2
2013 A computing approach to agent bidding in continuous double auction
abstract
The real-world continuous double auction (CDA) market is a dynamic environment. However, most of the existing agent bidding strategies are simply designed for static markets. A new detecting method for bidding strategy is necessary for more practical
Jiguang Li, Bo Yang 0002, Fanhua Yu, Dayou Liu
Web Intell. Agent Syst.6
2012 A search problem in complex diagnostic Bayesian networks
Dayou Liu, Qiangyuan Yu, Juan Chen 0008, Haiyang Jia
Knowl. Based Syst.1
2012 Knowledge representation and reasoning for qualitative spatial change
Sheng-Sheng Wang 0001, Dayou Liu
Knowl. Based Syst.2
2012 Characterizing and Extracting Multiplex Patterns in Complex Networks
abstract
Complex network theory provides a means for modeling and analyzing complex systems that consist of multiple and interdependent components. Among the studies on complex networks, structural analysis is of fundamental importance as it presents a natural route to understanding the dynamics, as well as to synthesizing or optimizing the functions, of networks. A wide spectrum of structural patterns of networks has been reported in the past decade, such as communities, multipartites, bipartite, hubs, authorities, outliers, and bow ties, among others. In this paper, we are interested in tackling the challenging task of characterizing and extracting multiplex patterns (multiple patterns as mentioned previously coexisting in the same networks in a complicated manner), which so far has not been explicitly and adequately addressed in the literature. Our work shows that such multiplex patterns can be well characterized as well as effectively extracted by means of a granular stochastic blockmodel, together with a set of related algorithms proposed here based on some machine learning and statistical inference ideas. These models and algorithms enable us to further explore complex networks from a novel perspective.
Bo Yang 0002, Jiming Liu 0001, Dayou Liu
IEEE Trans. Syst. Man Cybern. Part B3
2011 A Random Network Ensemble Model Based Generalized Network Community Mining Algorithm
abstract
The ability to discover community structures from explorative networks is useful for many applications. Most of the existing methods with regard to community mining are specifically designed for assortative networks, and some of them could be applied to address disassortative networks by means of intentionally modifying the objectives to be optimized. However, the types of the explorative networks are unknown beforehand. Consequently, it is difficult to determine what specific algorithms should be used to mine appropriate structures from exploratory networks. To address this issue, a novel concept, generalized community structure, has been proposed with the attempt to unify the two distinct counterparts in both types of networks. Furthermore, based on the proposed random network ensemble model, a generalized community mining algorithm, so called G-NCMA, has been proposed, which is promisingly suitable for both types of networks. Its performance has been rigorously tested, validated and compared with other related algorithms against real-world networks as well as synthetic networks. Experimental results show the G-NCMA algorithm is able to detect communities, without any prior, from explorative networks with a good accuracy.
Bo Yang 0002, Jing Huang 0002, Dayou Liu
ASONAM3
2011 Solving Qualitative Constraints Involving Landmarks
Weiming Liu 0001, Sheng-Sheng Wang 0001, Sanjiang Li, Dayou Liu
CP4
2011 An Adaptive Fuzzy k-Nearest Neighbor Method Based on Parallel Particle Swarm Optimization for Bankruptcy Prediction
Huiling Chen 0001, Dayou Liu, Bo Yang 0002, Jie Liu 0014, Gang Wang 0013
PAKDD (1)2
2011 Ant Colony Optimization with Markov Random Walk for Community Detection in Graphs
Di Jin 0001, Dayou Liu, Bo Yang 0002, Carlos Baquero, Dongxiao He
PAKDD (2)2
2011 Efficient Filter Algorithms for Reverse k-Nearest Neighbor Query
Sheng-Sheng Wang 0001, Qiannan Lv, Dayou Liu, Fangming Gu
WAIM3
2011 A new hybrid method based on local fisher discriminant analysis and support vector machines for hepatitis disease diagnosis
Huiling Chen 0001, Dayou Liu, Bo Yang 0002, Jie Liu 0014, Gang Wang 0013
Expert Syst. Appl.2
2011 A support vector machine classifier with rough set-based feature selection for breast cancer diagnosis
Huiling Chen 0001, Bo Yang 0002, Jie Liu 0014, Dayou Liu
Expert Syst. Appl.4
2011 A novel bankruptcy prediction model based on an adaptive fuzzy k-nearest neighbor method
Huiling Chen 0001, Bo Yang 0002, Gang Wang 0013, Jie Liu 0014, Dayou Liu
Knowl. Based Syst.7
2010 Genetic Algorithm with Local Search for Community Mining in Complex Networks
abstract
Detecting communities from complex networks has triggered considerable attention in several application domains. Targeting this problem, a local search based genetic algorithm (GALS) which employs a graph-based representation (LAR) has been proposed in this work. The core of the GALS is a local search based mutation technique. Aiming to overcome the drawbacks of the existing mutation methods, a concept called marginal gene has been proposed, and then an effective and efficient mutation method, combined with a local search strategy which is based on the concept of marginal gene, has also been proposed by analyzing the modularity function. Moreover, in this paper the percolation theory on ER random graphs is employed to further clarify the effectiveness of LAR presentation; A Markov random walk based method is adopted to produce an accurate and diverse initial population; the solution space of GALS will be significantly reduced by using a graph based mechanism. The proposed GALS has been tested on both computer-generated and real-world networks, and compared with some competitive community mining algorithms. Experimental result has shown that GALS is highly effective and efficient for discovering community structure.
Di Jin 0001, Dongxiao He, Dayou Liu, Carlos Baquero
ICTAI (1)3
2010 Composing Cardinal Direction Relations Basing on Interval Algebra
Juan Chen 0008, Haiyang Jia, Dayou Liu, Changhai Zhang
KSEM3
2010 An autonomy-oriented computing approach to community mining in distributed and dynamic networks
Bo Yang 0002, Jiming Liu 0001, Dayou Liu
Auton. Agents Multi Agent Syst.3
2009 A Multi-Agent Based Decentralized Algorithm for Social Network Community Mining
abstract
Research has shown that many social networks come into being hierarchically based on some basic building blocks called communities, within which the social interactions are very intensive, but between which they are very weak. Network community mining algorithms aim at efficiently and effectively discovering all such communities from a given network. Many related methods have been proposed and applied to different areas including social network analysis, gene network analysis and web clustering engine. Most of the existing methods for mining communities are centralized. In this paper, we present a multi-agent based decentralized algorithm, in which a group of autonomous agents work together to mine a network through a proposed self-aggregation and self-organization mechanism. Thanks to its decentralized feature, our method is potentially suitable for dealing with distributed networks, whose global structures are hard to obtain due to their geographical distributions, decentralized controls or huge sizes. The effectiveness of our method has been tested against different benchmark networks.
Bo Yang 0002, Jing Huang 0002, Dayou Liu, Jiming Liu 0001
ASONAM3
2009 Fast Complex Network Clustering Algorithm Using Agents
abstract
Recently, the sizes of networks are always very huge, and they take on distributed nature. Aiming at this kind of network clustering problem, in the sight of local view, this paper proposes a fast network clustering algorithm in which each node is regarded as an agent, and each agent tries to maximize its local function in order to optimize network modularity defined by function Q, rather than optimize function Q from the global view as traditional methods. Both the efficiency and effectiveness of this algorithm are tested against computer-generated and real-world networks. Experimental result shows that this algorithm not only has the ability of clustering large-scale networks, but also can attain very good clustering quality compared with the existing algorithms. Furthermore, the parameters of this algorithm are analyzed.
Di Jin 0001, Dayou Liu, Bo Yang 0002, Jie Liu 0014
DASC2
2008 On Modularity of Social Network Communities: The Spectral Characterization
abstract
The term of social network communities refers to groups of individuals within which social interactions are intense and between which they are weak. A social network community mining problem (SNCMP) can be stated as the problem of finding all such communities from a given social network. A wide variety of applications can be formulated into SNCMPs, ranging from Web intelligence to social intelligence. So far, many algorithms addressing the SNCMP have been developed; most of them are either optimization or heuristic based methods. Different from all existing work, this paper explores the notion of a social network community and its intrinsic properties, drawing on the dynamics of a stochastic model naturally introduced. In particular, it uncovers an interesting connection between the hierarchical community structure of a network and the metastability of a Markov process constructed upon it. A lot of critical topological information regarding to communities hidden in networks can be inferred from the derived spectral signatures of such networks, without actually clustering them with any particular algorithms. Based upon the above connection, we can obtain a frameworkfor characterizing and analyzing social network communities.
Bo Yang 0002, Jiming Liu 0001, Jianfeng Feng, Dayou Liu
Web Intelligence4
2007 Cardinal Direction Relations in 3D Space
Juan Chen 0008, Dayou Liu, Haiyang Jia, Changhai Zhang
KSEM2
2007 Combinative Reasoning with RCC5 and Cardinal Direction Relations
Juan Chen 0008, Dayou Liu, Changhai Zhang
KSEM2
2007 A Hybrid Approach for Learning Markov Equivalence Classes of Bayesian Network
Haiyang Jia, Dayou Liu, Juan Chen 0008
KSEM2
2007 A Heuristic Clustering Algorithm for Mining Communities in Signed Networks
Bo Yang 0002, Dayou Liu
J. Comput. Sci. Technol.2
2007 Rough set based approach for inducing decision trees
Mingyang Wang 0001, Junping You, Dayou Liu
Knowl. Based Syst.5
2006 ComEnVprs: A Novel Approach for Inducing Decision Tree Classifiers
Junping You, Dayou Liu
ADMA4
2006 Discrete Particle Swarm Optimization and EM Hybrid Approach for Naive Bayes Clustering
Jing-Hua Guan, Dayou Liu, Si-Pei Liu
ICONIP (2)2
2006 Force-Based Incremental Algorithm for Mining Community Structure in Dynamic Network
Bo Yang 0002, Dayou Liu
J. Comput. Sci. Technol.2
2005 The constraint elevation for parametric continuity order of NURBS curve and surface
abstract
For the NURBS curve that hold the arbitrary degrees and generally structured knots, under the assumption of unchanging the knot vector and the degree of NURBS curve, we present the constraint conditions for elevating the parametric continuity order of NURBS curve at the interior knots by modifying their control points and weights. Meanwhile, we obtain the freedom degree of the control points and the weights when the parametric continuity order of NURBS curve elevates by one. Furthermore, we obtain the conditions for elevating the parametric continuity order of NURBS surface along its isoparametric line by modifying their control points and weights. Meanwhile, the freedom degree of the control points and the weights when the parametric continuity order of NURBS surface elevates by one is presented at the end.
Xiangjiu Che, Dayou Liu, Zhengxuan Wang
CAD/Graphics2
2004 Spatio-Temporal Reasoning Based Spatio-Temporal Information Management Middleware
Sheng-Sheng Wang 0001, Dayou Liu
APWeb2
2004 A Parallel Algorithm Based on Search Space Partition for Generating Concepts
Dayou Liu, Chengquan Hu
ICPADS2
2004 Spatio-temporal Database with Multi-granularities
Sheng-Sheng Wang 0001, Dayou Liu
WAIM2
2004 Set-valued Choquet integrals revisited
Deli Zhang, Caimei Guo, Dayou Liu
Fuzzy Sets Syst.3
2004 Discovering Motifs in DNA Sequences
Jiwen Guan, Dayou Liu, David A. Bell
Fundam. Informaticae2
2003 The Rough Set Approach to Association Rule Mining
abstract
In transaction processing, an association is said to exist between two sets of items when a transaction containing one set is likely to also contain the other. In information retrieval, an association between two sets of keywords occurs when they cooccur in a document. Similarly, in data mining, an association occurs when one attribute set occurs together with another. As the number of such associations may be large, maximal association rules are sought, e.g., Feldman et al. (1997, 1998). Rough set theory is a successful tool for data mining. By using this theory, rules similar to maximal associations can be found. However, we show that the rough set approach to discovering knowledge is much simpler than the maximal association method.
Jiwen Guan, David A. Bell, Dayou Liu
ICDM3
2003 Rule-Driven Mobile Intelligent Agents for Real-Time Configuration of IP Networks
Kun Yang 0001, Alex Galis, Dayou Liu
KES4
2001 Classification through Maximizing Density
abstract
This paper presents a novel method for classification, which makes use of models built by the lattice machine (LM). The LM approximates data resulting in, as a model of data, a set of hyper tuples that are equilabelled, supported and maximal. The method presented uses the LM model of data to classify new data with a view to maximising the density of the model. Experiments show that this method, when used with the LM, outperforms the C2 algorithm and is comparable to the C5.0 classification algorithm.
Hui Wang 0001, Ivo Düntsch, David A. Bell, Dayou Liu
ICDM4
1996 Necessary conditions of two-level Uncertainty Reasoning Model (URM) and the improvement on it
Dayou Liu, Shaochun Zhong
J. Comput. Sci. Technol.1
1996 Processing of uncertainty temporal relations
Shaochun Zhong, Dayou Liu
J. Comput. Sci. Technol.2
1994 Sequential back-propagation
Hui Hui, Dayou Liu
J. Comput. Sci. Technol.2