Weiya Yue

According to our database, Weiya Yue authored at least 8 papers between 2006 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Navigation on Density-Unbalanced Terrain.

Qiang Han, Weiya Yue

Proceedings of the 24th Midwest Artificial Intelligence and Cognitive Science Conference 2013, 2013

2011

ID* Lite: improved D* Lite algorithm.

Weiya Yue, John V. Franco, Weiwei Cao, Hongwei Yue

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

2010

Improved Complexity Bound of Vertex Cover for Low degree Graph

Weiya Yue, John V. Franco, Weiwei Cao

CoRR, 2010

2009

A Generalized Framework for BDD-based Replanning A* Search.

Yanyan Xu, Weiya Yue

Proceedings of the 10th ACIS International Conference on Software Engineering, 2009

The BDD-Based Dynamic A* Algorithm for Real-Time Replanning.

Yanyan Xu, Weiya Yue, Kaile Su

Proceedings of the Frontiers in Algorithmics, Third International Workshop, 2009

2006

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation.

Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xizhong Zheng

J. Comput. Sci. Technol., 2006

Observation-Based Logic of Knowledge, Belief, Desire and Intention.

Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo

Proceedings of the Knowledge Science, 2006

BDDRPA*: An Efficient BDD-Based Incremental Heuristic Search Algorithm for Replanning.

Weiya Yue, Yanyan Xu, Kaile Su

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