Hong Xu

32 papers A* 3A 4B 11Misc 6Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2020 B conf
Decision Tree Learning-Inspired Dynamic Variable Ordering for the Weighted CSP.
SOCS
Hong Xu, Kexuan Sun, Sven Koenig, T. K. Satish Kumar
2020 Misc conf
Hybrid Quantum-Classical Algorithms for Solving the Weighted CSP.
ISAIM
Hong Xu, Kexuan Sun, Sven Koenig, Itay Hen, T. K. Satish Kumar
2020 B conf
Identifying Incorrect Labels in the CoNLL-2003 Corpus.
CoNLL
Frederick Reiss, Hong Xu, Bryan Cutler, Karthik Muthuraman, Zachary Eichenberger
2020 — conf
Learning Embeddings of Directed Networks with Text-Associated Nodes - with Application in Software Package Dependency Networks.
IEEE BigData
Kexuan Sun, Shudan Zhong, Hong Xu
2019 A conf
Intelligently recommending key bindings on physical keyboards with demonstrations in Emacs.
IUI
Shudan Zhong, Hong Xu
2019 A conf
Model Asset eXchange: Path to Ubiquitous Deep Learning Deployment.
CIKM
Alex Bozarth, Brendan Dwyer, Fei Hu, Daniel Jalova, Karthik Muthuraman, Nick Pentreath, Simon Plovyt, Gabriela de Queiroz, Saishruthi Swaminathan, Patrick Titzler, Xin Wu, Hong Xu, Frederick R. Reiss, Vijay Bommireddipalli
2019 J jnl
Model Asset eXchange: Path to Ubiquitous Deep Learning Deployment.
CoRR
Alex Bozarth, Brendan Dwyer, Fei Hu, Daniel Jalova, Karthik Muthuraman, Nick Pentreath, Simon Plovyt, Gabriela de Queiroz, Saishruthi Swaminathan, Patrick Titzler, Xin Wu, Hong Xu, Frederick R. Reiss, Vijay Bommireddipalli
2019 B conf
Quadratic Reformulation of Nonlinear Pseudo-Boolean Functions via the Constraint Composite Graph.
CPAIOR
Ka-Wa Yip, Hong Xu, Sven Koenig, T. K. Satish Kumar
2018 B conf
A Warning Propagation-Based Linear-Time-and-Space Algorithm for the Minimum Vertex Cover Problem on Giant Graphs.
CPAIOR
Hong Xu, Kexuan Sun, Sven Koenig, T. K. Satish Kumar
2018 Misc conf
A Warning Propagation-Based Linear-Time-and-Space Algorithm for the Minimum Vertex Cover Problem on Giant Graphs.
ISAIM
Hong Xu, Kexuan Sun, Sven Koenig, T. K. Satish Kumar
2018 Misc conf
Alert Generation in Execution Monitoring Using Resource Envelopes.
FLAIRS
T. K. Satish Kumar, Hong Xu, Zheng Tang, Anoop Kumar, Craig Milo Rogers, Craig A. Knoblock
2018 Misc conf
Constraint Composite Graph-Based Lifted Message Passing for Distributed Constraint Optimization Problems.
ISAIM
Ferdinando Fioretto, Hong Xu, Sven Koenig, T. K. Satish Kumar
2018 J jnl
Learning Embeddings of Directed Networks with Text-Associated Nodes - with Applications in Software Package Dependency Networks.
CoRR
Shudan Zhong, Hong Xu
2018 B conf
Message Passing Algorithms for Semiring-Based and Valued Constraint Satisfaction Problems.
SOCS
Hong Xu, Cheng Cheng, Sven Koenig, T. K. Satish Kumar
2018 J jnl
Overview: A Hierarchical Framework for Plan Generation and Execution in Multi-Robot Systems.
CoRR
Hang Ma, Wolfgang Hönig, Liron Cohen, Tansel Uras, Hong Xu, T. K. Satish Kumar, Nora Ayanian, Sven Koenig
2018 B conf
Solving Multiagent Constraint Optimization Problems on the Constraint Composite Graph.
PRIMA
Ferdinando Fioretto, Hong Xu, Sven Koenig, T. K. Satish Kumar
2018 Misc conf
The Buss Reduction for the k-Weighted Vertex Cover Problem.
ISAIM
Hong Xu, Xin-Zeng Wu, Cheng Cheng, Sven Koenig, T. K. Satish Kumar
2018 A conf
Towards Effective Deep Learning for Constraint Satisfaction Problems.
CP
Hong Xu, Sven Koenig, T. K. Satish Kumar
2018 Misc conf
Towards Understanding the Min-Sum Message Passing Algorithm for the Minimum Weighted Vertex Cover Problem: An Analytical Approach.
ISAIM
Masaru Nakajima, Hong Xu, Sven Koenig, T. K. Satish Kumar
2017 A conf
A Constraint Composite Graph-Based ILP Encoding of the Boolean Weighted CSP.
CP
Hong Xu, Sven Koenig, T. K. Satish Kumar
2017 B conf
A Distributed Logical Filter for Connected Row Convex Constraints.
ICTAI
T. K. Satish Kumar, Hong Xu, Zheng Tang, Anoop Kumar, Craig Milo Rogers, Craig A. Knoblock
2017 B conf
A Linear-Time and Linear-Space Algorithm for the Minimum Vertex Cover Problem on Giant Graphs.
SOCS
Hong Xu, T. K. Satish Kumar, Sven Koenig
2017 J jnl
Measuring Territorial Control in Civil Wars Using Hidden Markov Models: A Data Informatics-Based Approach.
CoRR
Therese Anders, Hong Xu, Cheng Cheng, T. K. Satish Kumar
2017 — conf
Min-Max Message Passing and Local Consistency in Constraint Networks.
Australasian Conference on Artificial Intelligence
Hong Xu, T. K. Satish Kumar, Sven Koenig
2017 J jnl
Overview: A Hierarchical Framework for Plan Generation and Execution in Multirobot Systems.
IEEE Intell. Syst.
Hang Ma, Wolfgang Hönig, Liron Cohen, Tansel Uras, Hong Xu, T. K. Satish Kumar, Nora Ayanian, Sven Koenig
2017 J jnl
Overview: Generalizations of Multi-Agent Path Finding to Real-World Scenarios.
CoRR
Hang Ma, Sven Koenig, Nora Ayanian, Liron Cohen, Wolfgang Hönig, T. K. Satish Kumar, Tansel Uras, Hong Xu, Craig A. Tovey, Guni Sharon
2017 A* conf
Summary: Multi-Agent Path Finding with Kinematic Constraints.
IJCAI
Wolfgang Hönig, T. K. Satish Kumar, Liron Cohen, Hang Ma, Hong Xu, Nora Ayanian, Sven Koenig
2017 B conf
The Nemhauser-Trotter Reduction and Lifted Message Passing for the Weighted CSP.
CPAIOR
Hong Xu, T. K. Satish Kumar, Sven Koenig
2016 B conf
A New Solver for the Minimum Weighted Vertex Cover Problem.
CPAIOR
Hong Xu, T. K. Satish Kumar, Sven Koenig
2016 A* conf
Improved Solvers for Bounded-Suboptimal Multi-Agent Path Finding.
IJCAI
Liron Cohen, Tansel Uras, T. K. Satish Kumar, Hong Xu, Nora Ayanian, Sven Koenig
2016 A* conf
Multi-Agent Path Finding with Kinematic Constraints.
ICAPS
Wolfgang Hönig, T. K. Satish Kumar, Liron Cohen, Hang Ma, Hong Xu, Nora Ayanian, Sven Koenig
2016 B conf
SAGL: A New Heuristic for Multi-Robot Routing with Complex Tasks.
ICTAI
Hong Xu, T. K. Satish Kumar, Dylan Johnke, Nora Ayanian, Sven Koenig