Memory-efficient A* heuristics for multiple sequence alignment
Eighteenth national conference on Artificial intelligence
An average-case analysis of graph search
Eighteenth national conference on Artificial intelligence
Route planning and map inference with global positioning traces
Computer Science in Perspective
Average-case analysis of best-first search in two representative directed acyclic graphs
Artificial Intelligence
Journal of the ACM (JACM)
Breadth-first heuristic search
Artificial Intelligence
Anytime search in dynamic graphs
Artificial Intelligence
Real-Time Model Checking on Secondary Storage
Model Checking and Artificial Intelligence
Weighted A∗ search -- unifying view and application
Artificial Intelligence
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Best-first frontier search with delayed duplicate detection
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Structured duplicate detection in external-memory graph search
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Sequential and parallel algorithms for frontier A* with delayed duplicate detection
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
A breadth-first approach to memory-efficient graph search
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Cost-optimal external planning
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Large-scale parallel breadth-first search
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Taming numbers and durations in the model checking integrated planning system
Journal of Artificial Intelligence Research
Additive pattern database heuristics
Journal of Artificial Intelligence Research
An improved search algorithm for optimal multiple-sequence alignment
Journal of Artificial Intelligence Research
Multiple-goal heuristic search
Journal of Artificial Intelligence Research
Comparing best-first search and dynamic programming for optimal multiple sequence alignment
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Delayed duplicate detection: extended abstract
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Breadth-first heuristic search
Artificial Intelligence
Algorithms for memory hierarchies: advanced lectures
Algorithms for memory hierarchies: advanced lectures
Out-of-core parallel frontier search with mapreduce
HPCS'09 Proceedings of the 23rd international conference on High Performance Computing Systems and Applications
Parallel external directed model checking with linear i/o
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Large-Scale directed model checking LTL
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
MR-search: massively parallel heuristic search
Concurrency and Computation: Practice & Experience
Light-assisted A* path planning
Engineering Applications of Artificial Intelligence
Evaluation of a simple, scalable, parallel best-first search strategy
Artificial Intelligence
Forward perimeter search with controlled use of memory
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |