Verification with small and short worlds.

Rohit Sinha Cynthia Sturton Petros Maniatis Sanjit A. Seshia David A. Wagner

Published in: FMCAD (2012)

Keyphrases

database
data sets
wide range
concurrent systems
databases
learning algorithm
information systems
knowledge base
artificial neural networks
mobile robot
face verification
small fraction
medium size