Hong Xu

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

2019

Intelligently recommending key bindings on physical keyboards with demonstrations in Emacs.

[BibT_eX]

[DOI]

Shudan Zhong

Proceedings of the 24th International Conference on Intelligent User Interfaces, 2019

Quadratic Reformulation of Nonlinear Pseudo-Boolean Functions via the Constraint Composite Graph.

[BibT_eX]

[DOI]

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Model Asset eXchange: Path to Ubiquitous Deep Learning Deployment.

[BibT_eX]

[DOI]

Saishruthi Swaminathan

Vijay Bommireddipalli

Proceedings of the 28th ACM International Conference on Information and Knowledge Management, 2019

2018

Learning Embeddings of Directed Networks with Text-Associated Nodes - with Applications in Software Package Dependency Networks.

[BibT_eX]

[DOI]

Shudan Zhong

CoRR, 2018

Overview: A Hierarchical Framework for Plan Generation and Execution in Multi-Robot Systems.

[BibT_eX]

[DOI]

CoRR, 2018

Message Passing Algorithms for Semiring-Based and Valued Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Symposium on Combinatorial Search, 2018

Solving Multiagent Constraint Optimization Problems on the Constraint Composite Graph.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

Towards Understanding the Min-Sum Message Passing Algorithm for the Minimum Weighted Vertex Cover Problem: An Analytical Approach.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2018

Constraint Composite Graph-Based Lifted Message Passing for Distributed Constraint Optimization Problems.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2018

The Buss Reduction for the k-Weighted Vertex Cover Problem.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2018

Alert Generation in Execution Monitoring Using Resource Envelopes.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, 2018

A Warning Propagation-Based Linear-Time-and-Space Algorithm for the Minimum Vertex Cover Problem on Giant Graphs.

[BibT_eX]

[DOI]

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

Towards Effective Deep Learning for Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2018

2017

Overview: A Hierarchical Framework for Plan Generation and Execution in Multirobot Systems.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2017

Measuring Territorial Control in Civil Wars Using Hidden Markov Models: A Data Informatics-Based Approach.

[BibT_eX]

[DOI]

CoRR, 2017

Overview: Generalizations of Multi-Agent Path Finding to Real-World Scenarios.

[BibT_eX]

[DOI]

CoRR, 2017

A Linear-Time and Linear-Space Algorithm for the Minimum Vertex Cover Problem on Giant Graphs.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Symposium on Combinatorial Search, 2017

Summary: Multi-Agent Path Finding with Kinematic Constraints.

[BibT_eX]

[DOI]

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

A Distributed Logical Filter for Connected Row Convex Constraints.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

The Nemhauser-Trotter Reduction and Lifted Message Passing for the Weighted CSP.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

A Constraint Composite Graph-Based ILP Encoding of the Boolean Weighted CSP.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2017

Min-Max Message Passing and Local Consistency in Constraint Networks.

[BibT_eX]

[DOI]

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

2016

Improved Solvers for Bounded-Suboptimal Multi-Agent Path Finding.

[BibT_eX]

[DOI]

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

SAGL: A New Heuristic for Multi-Robot Routing with Complex Tasks.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

A New Solver for the Minimum Weighted Vertex Cover Problem.

[BibT_eX]

[DOI]