 | 2009 |
|---|
| 5 |       | Yanyan Xu,
Hui Chen,
Reinhard Klette,
Jiaju Liu,
Tobi Vaudrey:
Belief Propagation Implementation Using CUDA on an NVIDIA GTX 280.
Australasian Conference on Artificial Intelligence 2009: 180-189 |
| 4 | | Yanyan Xu,
Weiya Yue,
Kaile Su:
The BDD-Based Dynamic A* Algorithm for Real-Time Replanning.
FAW 2009: 271-282 |
| 3 | | Liang Xu,
Wei Chen,
Yanyan Xu,
Wenhui Zhang:
Improved Bounded Model Checking for the Universal Fragment of CTL.
J. Comput. Sci. Technol. 24(1): 96-109 (2009) |
| 2007 |
|---|
| 2 | | Yanyan Xu,
Wei Chen,
Liang Xu,
Wenhui Zhang:
Evaluation of SAT-based Bounded Model Checking of ACTL Properties.
TASE 2007: 339-348 |
| 2006 |
|---|
| 1 | | Weiya Yue,
Yanyan Xu,
Kaile Su:
BDDRPA*: An Efficient BDD-Based Incremental Heuristic Search Algorithm for Replanning.
Australian Conference on Artificial Intelligence 2006: 627-636 |
