Linearization of Automatic Arrays and Weave Specifications.

Published in: MFPS (2013)

Keyphrases

fully automatic
semi automatic
real time
machine learning
social networks
image processing
hidden markov models
data driven
finite state machines
formal specification
mixed integer