Sign in
veriT: An Open, Trustable and Efficient SMT-Solver.
Thomas Bouton
Diego Caminha Barbosa De Oliveira
David Déharbe
Pascal Fontaine
Published in:
CADE (2009)
Keyphrases
</>
social networks
image segmentation
multi agent
statistical machine translation