An Intelligent Assistant for Nuclear Test Ban Treaty Verification.

Published in: IEEE Expert (1995)

Keyphrases

test generation
intellectual property
model checking
computer vision
real time
data sets
databases
information retrieval
decision trees
optimal solution
learning environment
search algorithm
evolutionary algorithm
multiresolution
software testing