Yidong Shen

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Adaptive Matching Strategy for Multi-Target Multi-Camera Tracking.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2022

2021

Self-Paced Clustering Ensemble.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks Learn. Syst., 2021

Vision-Language Navigation with Random Environmental Mixup.

[BibT_eX]

[DOI]

CoRR, 2021

City-Scale Multi-Camera Vehicle Tracking Guided by Crossroad Zones.

[BibT_eX]

[DOI]

CoRR, 2021

In-depth learning of automatic segmentation of shoulder joint magnetic resonance images based on convolutional neural networks.

[BibT_eX]

[DOI]

Comput. Methods Programs Biomed., 2021

Vision-Language Navigation with Random Environmental Mixup.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

City-Scale Multi-Camera Vehicle Tracking Guided by Crossroad Zones.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2021

Tri-level Robust Clustering Ensemble with Multiple Graph Learning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Dual-path Convolutional Image-Text Embeddings with Instance Loss.

[BibT_eX]

[DOI]

ACM Trans. Multim. Comput. Commun. Appl., 2020

Person Reidentification via Multi-Feature Fusion With Adaptive Graph Learning.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks Learn. Syst., 2020

Unsupervised feature selection with adaptive multiple graph learning.

[BibT_eX]

[DOI]

Pattern Recognit., 2020

Unsupervised feature selection for balanced clustering.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2020

Constraint Monotonicity, Epistemic Splitting and Foundedness Are Too Strong in Answer Set Programming.

[BibT_eX]

[DOI]

CoRR, 2020

Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

End-to-End Adversarial-Attention Network for Multi-Modal Clustering.

[BibT_eX]

[DOI]

Runwu Zhou

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

Unity Style Transfer for Person Re-Identification.

[BibT_eX]

[DOI]

Chong Liu

Xiaojun Chang

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

2019

Incremental multi-view spectral clustering.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2019

Determining inference semantics for disjunctive logic programs.

[BibT_eX]

[DOI]

Artif. Intell., 2019

Incremental Multi-view Support Vector Machine.

[BibT_eX]

[DOI]

Proceedings of the 2019 SIAM International Conference on Data Mining, 2019

Bounding Uncertainty for Active Batch Selection.

[BibT_eX]

[DOI]

Hanmo Wang

Runwu Zhou

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Uncertainty Sampling for Action Recognition via Maximizing Expected Average Precision.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

RCAA: Relational Context-Aware Agents for Person Search.

[BibT_eX]

[DOI]

Alexander G. Hauptmann

Proceedings of the Computer Vision - ECCV 2018, 2018

2017

Local Representative-Based Matrix Factorization for Cold-Start Recommendation.

[BibT_eX]

[DOI]

Lei Shi

Wayne Xin Zhao

ACM Trans. Inf. Syst., 2017

Dual-Path Convolutional Image-Text Embedding.

[BibT_eX]

[DOI]

CoRR, 2017

Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Android App Classification and Permission Usage Risk Assessment.

[BibT_eX]

[DOI]

Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2017

2016

A Model for Phase Transition of Random Answer-Set Programs.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2016

Evaluating epistemic negation in answer set programming.

[BibT_eX]

[DOI]

Artif. Intell., 2016

Diversifying Convex Transductive Experimental Design for Active Learning.

[BibT_eX]

[DOI]

Lei Shi

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

An LLE based Heterogeneous Metric Learning for Cross-media Retrieval.

[BibT_eX]

[DOI]

Proceedings of the 2015 SIAM International Conference on Data Mining, Vancouver, BC, Canada, April 30, 2015

Unsupervised Feature Selection with Adaptive Structure Learning.

[BibT_eX]

[DOI]

Proceedings of the 21th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2015

Learning a Robust Consensus Matrix for Clustering Ensemble via Kullback-Leibler Divergence Minimization.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Recovery of Corrupted Multiple Kernels for Clustering.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Robust Multiple Kernel K-means Using L21-Norm.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Experimental Design with Multiple Kernels.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Data Mining, 2015

Fabrication of 3.1kV/10A 4H-SiC Junction Barrier Schottky Diodes.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE 11th International Conference on ASIC, 2015

Convex Batch Mode Active Sampling via α-Relative Pearson Divergence.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

FLP answer set semantics without circular justifications for general logic programs.

[BibT_eX]

[DOI]

Artif. Intell., 2014

Robust Spectral Learning for Unsupervised Feature Selection.

[BibT_eX]

[DOI]

Lei Shi

Proceedings of the 2014 IEEE International Conference on Data Mining, 2014

Unsupervised Template Mining for Semantic Category Understanding.

[BibT_eX]

[DOI]

Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing, 2014

A Tractable Approach to ABox Abduction over Description Logic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Update Summarization via Graph-Based Sentence Ranking.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2013

Weight-based consistent query answering over inconsistent $${\mathcal {SHIQ}}$$ knowledge bases.

[BibT_eX]

[DOI]

Guilin Qi

Knowl. Inf. Syst., 2013

Heterogeneous Metric Learning for Cross-Modal Multimedia Retrieval.

[BibT_eX]

[DOI]

Jun Deng

Proceedings of the Web Information Systems Engineering - WISE 2013, 2013

A Self-Supervised Framework for Clustering Ensemble.

[BibT_eX]

[DOI]

Proceedings of the Web-Age Information Management - 14th International Conference, 2013

Joint Clustering and Feature Selection.

[BibT_eX]

[DOI]

Proceedings of the Web-Age Information Management - 14th International Conference, 2013

Eliminating Nonmonotonic DL-Atoms in Description Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Towards Robust Co-Clustering.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Local and Global Discriminative Learning for Unsupervised Feature Selection.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 13th International Conference on Data Mining, 2013

2012

The loop formula based semantics of description logic programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Towards Practical ABox Abduction in Large Description Logic Ontologies.

[BibT_eX]

[DOI]

Int. J. Semantic Web Inf. Syst., 2012

Relational click prediction for sponsored search.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Web Search and Web Data Mining, 2012

Approximating Linear Order Inference in OWL 2 DL by Horn Compilation.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE/WIC/ACM International Conferences on Web Intelligence, 2012

Robust Nonnegative Matrix Factorization via Half-Quadratic Minimization.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Data Mining, 2012

Well-Supported Semantics for Logic Programs with Generalized Rules.

[BibT_eX]

[DOI]

Proceedings of the Correct Reasoning, 2012

FLP Semantics Without Circular Justifications for General Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Embedding Description Logic Programs into Default Logic

[BibT_eX]

[DOI]

CoRR, 2011

Automatic clustering using genetic algorithms.

[BibT_eX]

[DOI]

Yongguo Liu

Xindong Wu

Appl. Math. Comput., 2011

Extending Logic Programs with Description Logic Expressions for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2011, 2011

Graph-Based Marginal Ranking for Update Summarization.

[BibT_eX]

[DOI]

Proceedings of the Eleventh SIAM International Conference on Data Mining, 2011

Compiling Answer Set Programs into Event-Driven Action Rules.

[BibT_eX]

[DOI]

Neng-Fa Zhou

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Well-Supported Semantics for Description Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

A Decomposition-Based Approach to OWL DL Ontology Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Probabilistic Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - Joint International Semantic Technology Conference, 2011

User Graph Regularized Pairwise Matrix Factorization for Item Recommendation.

[BibT_eX]

[DOI]

Proceedings of the Advanced Data Mining and Applications - 7th International Conference, 2011

Cluster Ensembles via Weighted Graph Regularized Nonnegative Matrix Factorization.

[BibT_eX]

[DOI]

Proceedings of the Advanced Data Mining and Applications - 7th International Conference, 2011

Towards Practical ABox Abduction in Large OWL DL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Loop formulas for description logic programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2010

Data Clustering with Cat Swarm Optimization.

[BibT_eX]

[DOI]

Yongguo Liu

J. Convergence Inf. Technol., 2010

Clustering with feature order preferences.

[BibT_eX]

[DOI]

Intell. Data Anal., 2010

Interval-valued Matrix Factorization with Applications.

[BibT_eX]

[DOI]

Proceedings of the ICDM 2010, 2010

Exploiting novelty, coverage and balance for topic-focused multi-document summarization.

[BibT_eX]

[DOI]

Proceedings of the 19th ACM Conference on Information and Knowledge Management, 2010

2009

Characterizations of stable model semantics for logic programs with arbitrary constraint atoms.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2009

Termination prediction for general logic programs.

[BibT_eX]

[DOI]

Danny De Schreye

Dean Voets

Theory Pract. Log. Program., 2009

A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Regularized Local Reconstruction for Clustering.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2009

A Default Approach to Semantics of Logic Programs with Constraint Atoms.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Margin-Based Transfer Learning.

[BibT_eX]

[DOI]

Bai Su

Wei Xu

Proceedings of the Sixth International Symposium on Neural Networks, 2009

Topic Modeling for Sequences of Temporal Activities.

[BibT_eX]

[DOI]

Proceedings of the ICDM 2009, 2009

Maximum margin transfer learning.

[BibT_eX]

[DOI]

Bai Su

Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation, 2009

2008

Linear tabling strategies and optimizations.

[BibT_eX]

[DOI]

Neng-Fa Zhou

Taisuke Sato

Theory Pract. Log. Program., 2008

Reasoning with recursive loops under the PLP framework.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2008

Basic research in computer science and software engineering at SKLCS.

[BibT_eX]

[DOI]

Frontiers Comput. Sci. China, 2008

Computing minimum cost diagnoses to repair populated DL-based ontologies.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on World Wide Web, 2008

Lexicographical Inference over Inconsistent DL-Based Ontologies.

[BibT_eX]

[DOI]

Guilin Qi

Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

Clustering Via Local Regression.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2008

R-Map: Mapping Categorical Data for Clustering and Visualization Based on Reference Sets.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2008

Collective Latent Dirichlet Allocation.

[BibT_eX]

[DOI]

Zhiyong Shen

Jun Sun

Proceedings of the 8th IEEE International Conference on Data Mining (ICDM 2008), 2008

2007

Clustering Using an Improved Hybrid Genetic Algorithm.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2007

Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Partitioning ABoxes Based on Converting DL to Plain Datalog.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2005

Termination Analysis of General Logic Programs for Moded Queries: A Dynamic Approach

[BibT_eX]

[DOI]

Danny De Schreye

CoRR, 2005

Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops

[BibT_eX]

[DOI]

CoRR, 2005

Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops.

[BibT_eX]

[DOI]

Qiang Yang

Proceedings of the Inductive Logic Programming, 15th International Conference, 2005

2004

Enhancing global SLS-resolution with loop cutting and tabling mechanisms.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

Clustering High-Dimensional Data with Low-Order Neighbors.

[BibT_eX]

[DOI]

Yanchang Zhao

Chengqi Zhang

Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2004), 2004

Semi-naive evaluation in linear tabling.

[BibT_eX]

[DOI]

Neng-Fa Zhou

Taisuke Sato

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Cluster Cores-Based Clustering for High Dimensional Data.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Data Mining (ICDM 2004), 2004

2003

A dynamic approach to characterizing termination of general logic programs.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2003

Mining the Customer's Up-To-Moment Preferences for E-commerce Recommendation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2003

Mining High Utility Itemsets.

[BibT_eX]

[DOI]

Raymond Chan

Qiang Yang

Proceedings of the 3rd IEEE International Conference on Data Mining (ICDM 2003), 2003

2002

SLT-Resolution for the Well-Founded Semantics.

[BibT_eX]

[DOI]

J. Autom. Reason., 2002

Objective-Oriented Utility-Based Association Mining.

[BibT_eX]

[DOI]

Zhong Zhang

Qiang Yang

Proceedings of the 2002 IEEE International Conference on Data Mining (ICDM 2002), 2002

2001

Linear tabulated resolution based on Prolog control strategy.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2001

Loop checks for logic programs with functions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

Implementation of a Linear Tabling Mechanism.

[BibT_eX]

J. Funct. Log. Program., 2001

2000

Verifying Termination of General Logic Programs with Concrete Queries

[BibT_eX]

[DOI]

CoRR, 2000

1999

A theory of hybrid diagnosis.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1999

A general scheme for formalizing defaults using the predicate <i>ab(I, S)</i>.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1999

Linear Tabulated Resolutions for the Well-Founded Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

A Linear Tabling Mechanism.

[BibT_eX]

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1998

Extracting schema from an OEM database.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1998

1997

An Extended Variant of Atoms Loop Check for Positive Logic Programs.

[BibT_eX]

[DOI]

New Gener. Comput., 1997

1996

Verifying Local Stratifiability of Logic Programs and Databases II.

[BibT_eX]

[DOI]

New Gener. Comput., 1996

Diagnostic problem solving using first principles and heuristics.

[BibT_eX]

[DOI]

Mei Rong

Fu Tong

J. Comput. Sci. Technol., 1996

1993

On local stratifiability of logic programs and databases.

[BibT_eX]

[DOI]

Fu Tong

Daijie Cheng

J. Comput. Sci. Technol., 1993

A fixpoint semantics for stratified databases.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1993

1992

Verifying Local Stratifiability of Logic Programs and Databases.

[BibT_eX]

[DOI]