Efficient Search as a Means of Executing Specifications.

Craig Damon Daniel Jackson

Published in: TACAS (1996)

Keyphrases

efficient search
similarity search
search problems
data sets
database
search algorithm
state space
neural network
data mining
information retrieval
genetic algorithm
feature extraction
evolutionary algorithm
active learning
upper bound
relevance feedback