Witness Runs for Counter Machines.

Clark W. Barrett Stéphane Demri Morgan Deters

Published in: FroCos (2013)

Keyphrases

search engine
training set
real time
data mining
computer vision
image processing
three dimensional
database systems
image sequences
high quality
mobile devices
hidden markov models
information processing
learning machines
uc berkeley