Multi-Core LTSmin: Marrying Modularity and Scalability.

Alfons Laarman Jaco van de Pol Michael Weber

Published in: NASA Formal Methods (2011)

Keyphrases

neural network
lower bound
databases
face recognition
response time
image quality
coalitional games