Tactical Synthesis of Efficient Global Search Algorithms.

Srinivas Nedunuri William R. Cook Douglas R. Smith

Published in: NASA Formal Methods (2009)

Keyphrases

search algorithm
neural network
genetic algorithm
website
expert systems
heuristic search
global information
bidirectional search
data sets
databases
real world
knowledge base
face recognition
orders of magnitude
query optimization
cost effective