| Projects on Google Code | Results 1 - 7 of 7 |
http://www.inf.unisi.ch/postdoc/bruttomesso/imgs/small_header.gif
=Intro=
This page is the SVN *source code* repository for OpenSMT (click Source tab).
Quick tip: sources can be download with
`svn checkout http://opensmt.googlecode.com/svn/trunk/ opensmt`.
Also you need t...
SMT,
SAT,
bit-vectors,
arithmetic,
SMT-LIB,
SMTCOMP,
theory-solver,
formal-methods,
verification,
model-checking,
equality,
decision-procedures,
nelson-oppen,
boolean-abstraction,
RTL
This site offers a set of 3 scripts that, together, create a basic translation chain prototype (with Moses + IRSTLM) able of processing very large corpora. The idea is to help build a translation chain for the real world, but it should also enable a quick evaluation of Moses for actual translation w...
smt
asdfa
sadfasdfasdfasdfsa
asdf
CSIsat is an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementation combines the efficiency of linear programming for solving the arithmetic part with the efficiency of a SAT solver to reason...
It's a translation!!!
*Extract-Tmx-Corpus* is a Windows program (Vista and XP supported) that enables translators not necessarily with a deep knowledge of linguistic tools to create highly customised corpora that can be used with the Moses machine translation system and with other systems.
In order to create corpora...
NLP,
corpora,
MT,
Moses,
TMX,
SMT,
Python,
NaturalLanguageProcessing,
MachineTranslation,
StatisticalMachineTranslation
simple SAT and SMT solver written in Java