Tianlong Gu

Proceedings of the ICMECG 2020: International Conference on Management of e-Commerce and e-Government, 2020

Convolutional Recurrent Neural Networks for Knowledge Tracing.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2020

Algebraic Decision Diagram-Based CP-ABE with Constant Secret and Fast Decryption.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2020

2019

A Travel Route Recommendation System Based on Smart Phones and IoT Environment.

[BibT_eX]

[DOI]

Wirel. Commun. Mob. Comput., 2019

Historical and Heuristic-Based Adaptive Differential Evolution.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2019

A Dual-Colony Ant Algorithm for the Receiving and Shipping Door Assignments in Cross-Docks.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2019

A User Study on the Capability of Three Geo-Based Features in Analyzing and Locating Trajectories.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2019

Visual Exploration of Air Quality Data with a Time-correlation-partitioning Tree Based on Information Theory.

[BibT_eX]

[DOI]

ACM Trans. Interact. Intell. Syst., 2019

ACO-A*: Ant Colony Optimization Plus A* for 3-D Traveling in Environments With Dense Obstacles.

[BibT_eX]

[DOI]

IEEE Trans. Evol. Comput., 2019

An Adaptive Estimation of Distribution Algorithm for Multipolicy Insurance Investment Planning.

[BibT_eX]

[DOI]

IEEE Trans. Evol. Comput., 2019

Distributed Cooperative Co-Evolution With Adaptive Computing Resource Allocation for Large Scale Optimization.

[BibT_eX]

[DOI]

IEEE Trans. Evol. Comput., 2019

DECAL: Decomposition-Based Coevolutionary Algorithm for Many-Objective Optimization.

[BibT_eX]

[DOI]

IEEE Trans. Cybern., 2019

Multiobjective Cloud Workflow Scheduling: A Multiple Populations Ant Colony System Approach.

[BibT_eX]

[DOI]

IEEE Trans. Cybern., 2019

A personalized POI route recommendation system based on heterogeneous tourism data and sequential pattern mining.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2019

Enhancing statistical charts: toward better data visualization and analysis.

[BibT_eX]

[DOI]

J. Vis., 2019

基于知识图谱和频繁序列挖掘的旅游路线推荐 (Travel Route Recommendation Based on Knowledge Graph and Frequent Sequence Mining).

[BibT_eX]

[DOI]

计算机科学, 2019

CPS-Based Reliability Enhancement Mechanism for Vehicular Emergency Warning System.

[BibT_eX]

[DOI]

Int. J. Intell. Transp. Syst. Res., 2019

Ensemble mating selection in evolutionary many-objective search.

[BibT_eX]

[DOI]

Appl. Soft Comput., 2019

Hyperspectral image classification using k-sparse denoising autoencoder and spectral-restricted spatial characteristics.

[BibT_eX]

[DOI]

Appl. Soft Comput., 2019

Optimal Representation for Web and Social Network Graphs Based on K² -Tree.

[BibT_eX]

[DOI]

IEEE Access, 2019

A Neural User Preference Modeling Framework for Recommendation Based on Knowledge Graph.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Jointing Knowledge Graph and Neural Network for Top-N Recommendation.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

An Improved Selection Operator for Multi-objective Optimization.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Networks - ISNN 2019, 2019

Knowledge Graph Embedding Based on Adaptive Negative Sampling.

[BibT_eX]

[DOI]

Proceedings of the Data Science, 2019

The Intrusion Detection Model based on Parallel Multi - Artificial Bee Colony and Support Vector Machine.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Advanced Computational Intelligence, 2019

Indoor Localization Fusion Algorithm Based on Signal Filtering optimization Of Multi-sensor.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Advanced Computational Intelligence, 2019

Research on Consumers' Response to Personalized Recommendation Avoidance in B2C E-business under Filter Bubble Phenomenon.

[BibT_eX]

[DOI]

Bingbing Tian

Yan Liu

Proceedings of the EBEE 2019: International Conference on E-Business and E-commerce Engineering, 2019

2018

A Dynamic Logistic Dispatching System With Set-Based Particle Swarm Optimization.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2018

A Level-Based Learning Swarm Optimizer for Large-Scale Optimization.

[BibT_eX]

[DOI]

IEEE Trans. Evol. Comput., 2018

Dual-Strategy Differential Evolution With Affinity Propagation Clustering for Multimodal Optimization Problems.

[BibT_eX]

[DOI]

IEEE Trans. Evol. Comput., 2018

An Energy Efficient Ant Colony System for Virtual Machine Placement in Cloud Computing.

[BibT_eX]

[DOI]

IEEE Trans. Evol. Comput., 2018

Set-Based Discrete Particle Swarm Optimization Based on Decomposition for Permutation-Based Multiobjective Combinatorial Optimization Problems.

[BibT_eX]

[DOI]

IEEE Trans. Cybern., 2018

Clustering by Local Gravitation.

[BibT_eX]

[DOI]

IEEE Trans. Cybern., 2018

Structuring Mobility Transition With an Adaptive Graph Representation.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Soc. Syst., 2018

Integrated chaotic systems for image encryption.

[BibT_eX]

[DOI]

Signal Process., 2018

VisUPI: visual analytics for University Personality Inventory data.

[BibT_eX]

[DOI]

J. Vis., 2018

图编辑距离概述 (Summary of Graph Edit Distance).

[BibT_eX]

[DOI]

计算机科学, 2018

A Multi-latent Semantics Representation Model for Mining Tourist Trajectory.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2018: Trends in Artificial Intelligence, 2018

Personalized POIs Travel Route Recommendation System Based on Tourism Big Data.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2018: Trends in Artificial Intelligence, 2018

Representation Learning for Knowledge Graph with Dynamic Margin.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Computational Intelligence and Design, 2018

A Ciphertext-Policy Attribute-Based Encryption Based on Multi-valued Decision Diagram.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing IX, 2018

Tourist Attraction Recommendation Based on Knowledge Graph.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing IX, 2018

Travel Attractions Recommendation with Travel Spatial-Temporal Knowledge Graphs.

[BibT_eX]

[DOI]

Proceedings of the Data Science, 2018

Representation Learning for Knowledge Graph with Dynamic Step.

[BibT_eX]

[DOI]

Proceedings of the Data Science, 2018

2017

Optimal Representation of Large-Scale Graph Data Based on K2-Tree.

[BibT_eX]

[DOI]

Wirel. Pers. Commun., 2017

Cloudde: A Heterogeneous Differential Evolution Algorithm and Its Distributed Cloud Version.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2017

Toward Fast Niching Evolutionary Algorithms: A Locality Sensitive Hashing-Based Approach.

[BibT_eX]

[DOI]

IEEE Trans. Evol. Comput., 2017

Adaptive Multimodal Continuous Ant Colony Optimization.

[BibT_eX]

[DOI]

IEEE Trans. Evol. Comput., 2017

A Maximal Clique Based Multiobjective Evolutionary Algorithm for Overlapping Community Detection.

[BibT_eX]

[DOI]

IEEE Trans. Evol. Comput., 2017

Segment-Based Predominant Learning Swarm Optimizer for Large-Scale Optimization.

[BibT_eX]

[DOI]

IEEE Trans. Cybern., 2017

Benchmarking Stochastic Algorithms for Global Optimization Problems by Visualizing Confidence Intervals.

[BibT_eX]

[DOI]

IEEE Trans. Cybern., 2017

基于果蝇优化算法的多工位装配序列规划 (Multi-plant Assembly Sequence Planning Based on Fruit Fly Optimization Algorithm).

[BibT_eX]

[DOI]

计算机科学, 2017

面向入侵检测系统的模式匹配算法研究 (Research on Pattern Matching Algorithm in Intrusion Detection System).

[BibT_eX]

[DOI]

计算机科学, 2017

Flexible genetic algorithm: A simple and generic approach to node placement problems.

[BibT_eX]

[DOI]

Appl. Soft Comput., 2017

A Behavioral Similarity Metric for Semantic Workflows Based on Semantic Task Adjacency Relations With Importance.

[BibT_eX]

[DOI]

Jinyong Sun

Junyan Qian

IEEE Access, 2017

A Ciphertext-Policy Attribute-Based Encryption Based on an Ordered Binary Decision Diagram.

[BibT_eX]

[DOI]

IEEE Access, 2017

Knowledge Graph Embedding by Dynamic Translation.

[BibT_eX]

[DOI]

IEEE Access, 2017

2016

Optimal Reconfiguration of High-Performance VLSI Subarrays with Network Flow.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2016

基于描述逻辑的传感器网络事件检测 (Event Detection in Sensor Network Based on Description Logic).

[BibT_eX]

[DOI]

计算机科学, 2016

基于符号EVBDD的安全多方计算 (Secure Multi-party Computation Based on Symbolic Edge-valued Binary Decision Diagram).

[BibT_eX]

[DOI]

计算机科学, 2016

An integer programming method for constructing tightly coupled VLSI subarrays.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2016

Assembly Sequence Planning Based on Hybrid Artificial Bee Colony Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing VIII, 2016

An Improved Reconfiguration Algorithm for VLSI Arrays with A-Star.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2016, 2016

2015

基于CBR和描述逻辑的网络安全应急响应 (Network Security Emergency Response Based on CBR and Description Logic).

[BibT_eX]

[DOI]

计算机科学, 2015

2014

Dynamic Description Logic Based on DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing VII, 2014

Verification of Branch-Time Property Based on Dynamic Description Logic.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing VII, 2014

Case Retrieval for Network Security Emergency Response Based on Description Logic.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing VII, 2014

Algorithm for Adapting Cases Represented in a Tractable Description Logic.

[BibT_eX]

[DOI]

Uli Sattler

Proceedings of the Case-Based Reasoning Research and Development, 2014

An ABox Revision Algorithm for the Description Logic EL_bot.

[BibT_eX]

[DOI]

Uli Sattler

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

A Novel Multi-agent Evolutionary Algorithm for Assembly Sequence Planning.

[BibT_eX]

[DOI]

J. Softw., 2013

2012

A Family of Dynamic Description Logics for Representing and Reasoning About Actions.

[BibT_eX]

[DOI]

J. Autom. Reason., 2012

Symbolic OBDD Assembly Sequence Planning Algorithm Based on Unordered Partition with 2 Parts of a Positive Integer.

[BibT_eX]

[DOI]

Rongsheng Dong

Proceedings of the Intelligent Information Processing VI, 2012

The Representation of Indiscernibility Relation Using ZBDDs.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing VI, 2012

Reasoning about Assembly Sequences Based on Description Logic and Rule.

[BibT_eX]

[DOI]

Yu Meng

Proceedings of the Intelligent Information Processing VI, 2012

An ABox Abduction Algorithm for the Description Logic ALCI.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing VI, 2012

Symbolic ZBDD Representations for Mechanical Assembly Sequences.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing VI, 2012

Dynamic Logic for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing VI, 2012

2011

Symbolic Representation for Rough Set Attribute Reduction Using Ordered Binary Decision Diagrams.

[BibT_eX]

[DOI]

Qianjin Wei

J. Softw., 2011

Guest Editorial.

[BibT_eX]

[DOI]

Shenghui Li

J. Softw., 2011

Guest Editorial.

[BibT_eX]

[DOI]

Shenghui Liu

J. Networks, 2011

A Novel Symbolic Algorithm for Maximum Weighted Matching in Bipartite Graphs.

[BibT_eX]

[DOI]

Int. J. Commun. Netw. Syst. Sci., 2011

The Symbolic OBDD Algorithm for Finding Optimal Semi-matching in Bipartite Graphs.

[BibT_eX]

[DOI]

Commun. Netw., 2011

2010

A bi-objective guillotine cutting problem of stamping strips of equal circles.

[BibT_eX]

[DOI]

Yaodong Cui

Wei Hu

Int. J. Comput. Math., 2010

Using ASP to Improve the Information Reuse in Mechanical Assembly Sequence Planning.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2010: Trends in Artificial Intelligence, 2010

Extend Atomic Action Definitions of DDL to Support Occlusions and Conditional Post-conditions.

[BibT_eX]

[DOI]

Zhongzhi Shi

Proceedings of the Intelligent Information Processing V, 2010

2009

An ASP Based Solution to Mechanical Assembly Sequence Planning.

[BibT_eX]

[DOI]

Proceedings of the 2009 Third International Conference on Genetic and Evolutionary Computing, 2009

Analyzing the Impact of Entity Mobility Models on the Performance of Routing Protocols in the MANET.

[BibT_eX]

[DOI]

Tieyuan Liu

Proceedings of the 2009 Third International Conference on Genetic and Evolutionary Computing, 2009

Automatic Construction of Complete Abstraction by Abstract Interpretation.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008

Test frame updating in CPM testing of Prolog programs.

[BibT_eX]

[DOI]

Softw. Qual. J., 2008

An algorithm for the constrained two-dimensional rectangular multiple identical large object placement problem.

[BibT_eX]

[DOI]

Yaodong Cui

Wei Hu

Optim. Methods Softw., 2008

Simplest optimal guillotine cutting patterns for strips of identical circles.

[BibT_eX]

[DOI]

Yaodong Cui

Wei Hu

J. Comb. Optim., 2008

The symbolic OBDD scheme for generating mechanical assembly sequences.

[BibT_eX]

[DOI]

Huadong Liu

Formal Methods Syst. Des., 2008

Symbolic OBDD representations for mechanical assembly sequences.

[BibT_eX]

[DOI]

Zhifei Yang

Comput. Aided Des., 2008

Formula-Dependent Abstraction for CTL Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2008, International Conference, Perugia, Italy, June 30, 2008

2007

The symbolic algorithms for maximum flow in networks.

[BibT_eX]

[DOI]

Comput. Oper. Res., 2007

Goal-independent Semantics for Path Dependent Analysis of Prolog Programs.

[BibT_eX]

[DOI]

Lingzhong Zhao

Junyan Qian

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

A Novel Immunity-Growth Genetic Algorithm for Traveling Salesman Problem.

[BibT_eX]

[DOI]

Cong-Wen Zeng

Proceedings of the Third International Conference on Natural Computation, 2007

A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

A Base for Achieving Semantics for Prolog with Cut for Correct Observables.

[BibT_eX]

Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics.

[BibT_eX]

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Designing Prolog Semantics for a Class of Observables.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2006: Trends in Artificial Intelligence, 2006

On the New Application of Call Patterns to CPM Testing of Prolog Programs.

[BibT_eX]

[DOI]

Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

2005

Petri-net based formulation and algorithm for short-term scheduling of batch plants.

[BibT_eX]

[DOI]

Comput. Chem. Eng., 2005

Optimization and Control of Production Systems Based on Interval Speed Continuous Petri Nets.

[BibT_eX]

[DOI]

Weizhi Liao

Proceedings of the IEEE International Conference on Systems, 2005

2003

Continuous Petri nets augmented with maximal and minimal firing speeds.

[BibT_eX]

[DOI]

Rongsheng Dong

Yu-Chu Tian

Proceedings of the IEEE International Conference on Systems, 2003

2002

A survey of Petri net applications in batch processes.

[BibT_eX]

[DOI]