Yunfei Jiang

dblp:37/1653 · DBLP profile ↗
← Back
18ranked-venue papers
2as first author
1since 2021 · last 2022
—ORCID · conflict

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

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

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.

Artificial intelligence
2 papers
Planning, search and constraint satisfaction · 70% Knowledge representation and reasoning · 30%
Software engineering, system software, and programming languages
1 paper
Program analysis · 100%
Theoretical computer science
2 papers
Automated reasoning and model checking · 64% Logic in computer science · 12% Computational complexity · 12%

Topics — the 6 heaviest of 9, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › domain model learning
action model learning
0.112007
Learning action models from plan examples using weighted MAX-SAT · Artif. Intell. 2007
Program analysis › static analysis
dependency analysis
0.112007
Operator Component Matrix Model for IMP Program Diagnosis · IJCAI 2007
Automated reasoning and model checking
planning
0.112007
Observation Reduction for Strong Plans · IJCAI 2007
Computational complexity
decidability
0.011995
The Rationality and Decidability of Fuzzy Implications · IJCAI 1995
Logic in computer science › many-valued logic
fuzzy logic
0.011995
The Rationality and Decidability of Fuzzy Implications · IJCAI 1995
Algorithmic game theory and mechanism design
rationality
0.011995
The Rationality and Decidability of Fuzzy Implications · IJCAI 1995

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

plan contexts · 0.1weighted MAX-SAT · 0.1
YearPublicationVenuePosition
2022 Spectrum-Sharing-Maximized Approaches With Shared-Path Protection in Elastic Optical Data Center Networks
abstract
The spectrum efficiency is a greatly important issue when we establish connection requests in elastic optical data center networks (EODCNs). In this article, we address the spectrum efficiency problems of the shared-path protection with spectrum-sharing-maximized approaches for the optical network survivability. Two integer linear program (ILP) models, i.e., flow-based and path-based ILP models, named FB-ILP and PB-ILP, are developed to minimize the frequency slots (FSs) occupied with the spectrum-sharing-maximized protection, and two heuristic approaches with the spectrum-sharing-maximized protection (HA-SSMP) and with the general spectrum-sharing protection (HA-GSSP) are also proposed to improve spectrum efficiency in EODCNs. For comparison, we introduce a heuristic approach with the existing shared-path protection (HA-ESPP) in EODCNs. On the one hand, simulation results show that FB-ILP can minimize the number of FSs occupied, but leads to the higher average number of hops and longer running time compared to PB-ILP, HA-SSMP, HA-GSSP, and HA-ESPP in static traffic scenario in EODCNs. On the other hand, the simulation results of our proposed HA-SSMP are very close to the solutions of FB-ILP. In dynamic traffic scenario, simulation results show that HA-SSMP significantly improves the spectrum efficiency and effectively suppresses the blocking probability, but leads to the higher average number of hops compared to HA-GSSP and HA-ESPP in EODCNs.
Bowen Chen 0005, Yunfei Jiang, Jinbing Wu, Weidong Shao, Mingyi Gao, Pin-Han Ho
IEEE Internet Things J.3
2009 Structured Plans and Observation Reduction for Plans with Contexts
Wei Huang 0026, Zhonghua Wen, Yunfei Jiang
IJCAI3
2008 Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal Problems
abstract
Many temporal problems arising in automated planning and scheduling can be expressed as disjunctive temporal problems (DTPs). Most of DTP solvers in the literature treat DTPs as constraint satisfaction problems (CSPs) or satisfiability problems (SATs), and solve them using standard CSP (SAT) techniques. Basically DTPs are represented through logically related topological relations between temporal variables, however, unfortunately little work has been done on exploiting the topological information to direct the search for DTP resolving. According to the "fail-first "(FF) principle for dynamic variable ordering (DVO) heuristics in CSP literature, this paper proposes a DVO which is based on the topological structure of DTP (which is defined to be Disjunctive Temporal Network). Experimental results reveal that the proposed DVO outperforms Minimal Remaining Values heuristics-a DVO that is widely used in existing DTP solvers, especially for the hard and large-scale problems. And, a CSP based procedure with the best of the heuristics wins TSAT++ on most of the test problems.
Yuechang Liu, Yunfei Jiang, Hong Qian
TIME2
2007 Parallel First-Order Dynamic Logic and Its Expressiveness and Axiomatization
Yunfei Jiang
APPT2
2007 A Test Theory of the Model-Based Diagnosis
Xuenong Zhang, Yunfei Jiang, Aixiang Chen
ICIC (2)2
2007 Diagnosing a System with Value-Based Reasoning
Xuenong Zhang, Yunfei Jiang, Aixiang Chen
ICIC (2)2
2007 Operator Component Matrix Model for IMP Program Diagnosis
Zhao-Fu Fan, Yunfei Jiang
IJCAI2
2007 Observation Reduction for Strong Plans
Wei Huang 0026, Zhonghua Wen, Yunfei Jiang
IJCAI3
2007 Regularization Versus Dimension Reduction, Which Is Better?
Yunfei Jiang, Ping Guo 0002
ISNN (2)1
2007 Comparative studies of Feature Extraction methods with application to face recognition
abstract
In face recognition, the dimensionality of raw data is very high, dimension reduction (Feature Extraction) should be applied before classification. There exist several feature extraction methods, commonly used are Principle Component Analysis (PCA) and Linear Discriminant Analysis (LDA) techniques. In this paper, we present a comparative study of some feature extraction methods for face recognition in the same conditions. The methods evaluated here include Eigenfaces, Kernel Principal Component Analysis (KPCA), Fisherfaces, Direct Linear Discriminant Analysis (D-LDA), Regularized Linear Discriminant Analysis (R-LDA), and Kernel Direct Discriminant Analysis (KDDA). For the purpose of comparison on feature extraction methods, we adopt Nearest Neighbor (NN) algorithm from existed classifiers of face recognition, since this classifier is common and simpleness. Empirical studies are conducted to evaluate these feature extraction methods with images from ORL Face Database, and it is found that in most cases LDA-based methods are efficient than PCA-based ones.
Yunfei Jiang, Ping Guo 0002
SMC1
2007 A Method of Software Structure Designing Based on Graph Planning
Mingzhi Mao, Yunfei Jiang, Xiaolong Chai
SoMeT2
2007 Graph-DTP: Graph-Based Algorithm for Solving Disjunctive Temporal Problems
abstract
We study an expressive quantitative temporal model: disjunctive temporal problem (DTP), which was first proposed only in 1998 (Stergiou and Koubarakis). As extension of temporal constraint satisfaction problem (TCSP) (Dechter et al. 1991), DTP differs from TCSP in that two disjuncts in a same disjunctive constraint do not necessarily refer to same temporal variables. Traditionally, most of the DTP algorithms in the literature solve DTPs by treating them as constraint satisfaction problems (CSPs), and searching for solutions using standard CSP techniques, e.g. backtracking, back-jumping, forward checking, semantic branching, removal of subsumed variables, nogood recording, etc. Those CSP techniques are powerful in solving DTPs. However, an evident drawback of viewing DTPs as general CSPs is that much semantic information encoded in DTPs is neglected. In fact we can mine rich semantic information that can be exploited to reduce search space for DTPs (more than semantic branching). Through some topological analysis on the graphical representation of the problems, some techniques are developed to help to search solutions for other temporal models (e.g. TCSP), or to identify "crucial subproblems" for CSP (Epstein and Wallace, 2006). However, little effort has been made to exploit the inherent topological information in solving DTPs. Our idea runs on a graphical representation of DTPs - disjunctive temporal network (DTN). We define DTN as an edge-labeled weighted digraph, on which some relevant concepts are identified. Then, we define the concept of equivalency between DTNs with respect to their consistency. For a given DTN, deciding its consistency is ascribed to check the consistency of a DTN which is equivalent to it and has less constraints (edges). We iteratively reduce a DTN to a simpler but equivalent one according to a set of designed reduction rules (which can be performed within polynomial time). It is hoped that when the DTN reaches a fixed point under such reduction operation, the resulted DTN has minimal edges (which is like backdoor in SAT, or "near clique"). At last the resulted DTN (DTP) is transferred to CSP search phase, where we derive a special variable ordering strategy again through the DTN structure. We shall describe the generation of DTN structure, the DTN reduction rules, the implementation of the complete graph-DTP algorithm, and some first results of this approach.
Yuechang Liu, Hong Qian, Yunfei Jiang
TIME3
2007 Learning action models from plan examples using weighted MAX-SAT
Qiang Yang 0001, Kangheng Wu, Yunfei Jiang
Artif. Intell.3
2006 Comparison Between Two Languages Used to Express Planning Goals: CTL and EAGLE
Wei Huang 0026, Zhonghua Wen, Yunfei Jiang, Aixiang Chen
PRICAI3
2006 LP-TPOP: Integrating Planning and Scheduling Through Constraint Programming
Yuechang Liu, Yunfei Jiang
PRICAI2
2005 An improved model-based method to test circuit faults
Xiaochun Cheng, Dantong Ouyang, Yunfei Jiang, Chengqi Zhang
Theor. Comput. Sci.3
2003 The computation of hitting sets: Review and new algorithms
Yunfei Jiang
Inf. Process. Lett.2
1995 The Rationality and Decidability of Fuzzy Implications
Xiaochun Cheng, Yunfei Jiang, Xuhua Liu
IJCAI2