Login / Signup
Simplex with sum of infeasibilities for SMT.
Tim King
Clark W. Barrett
Bruno Dutertre
Published in:
FMCAD (2013)
Keyphrases
</>
linear programming
statistical machine translation
simplex algorithm
weighted sum
machine learning
knowledge base
word alignment
evolutionary algorithm
square error
database
absolute difference
simplex method
search space
artificial neural networks
decision trees
data mining
real time