Qed. Computing What Remains to Be Proved.

Loïc Correnson

Published in: NASA Formal Methods (2014)

Keyphrases

real time
cooperative
data sets
genetic algorithm
artificial intelligence
multimedia
three dimensional
expert systems
pairwise
asymptotically optimal
asymptotic analysis