Specifying and Verifying Systems with Multiple Clocks.

Edmund M. Clarke Daniel Kroening Karen Yorav

Published in: ICCD (2003)

Keyphrases

three dimensional
data mining
face recognition
database
data sets
databases
learning algorithm
multiscale
objective function
special case
knowledge based systems
learning systems
systems require