Search Sciweavers | Sciweavers

89 search results - page 1 / 18

» On the Translation of Procedures to Finite Machines

click to vote

ESOP
2000
Springer

120views Programming Languages» more ESOP 2000»

On the Translation of Procedures to Finite Machines

13 years 9 months ago

Download www.informatik.uni-kiel.de

Markus Müller-Olm, Andreas Wolf

claim paper

Read More »

click to vote

EMNLP
2004

117views Natural Language Processing» more EMNLP 2004»

From Machine Translation to Computer Assisted Translation using Finite-State Models

13 years 6 months ago

Download acl.ldc.upenn.edu

State-of-the-art machine translation techniques are still far from producing high quality translations. This drawback leads us to introduce an alternative approach to the translat...

Jorge Civera, Elsa Cubel, Antonio L. Lagarda, Davi...

claim paper

Read More »

click to vote

ACL2
2006
ACM

265views Computational Linguistics» more ACL2 2006»

A SAT-based procedure for verifying finite state machines in ACL2

13 years 11 months ago

Download www.ccs.neu.edu

We describe a new procedure for verifying ACL2 properties about ﬁnite state machines (FSMs) using satisﬁability (SAT) solving. We present an algorithm for converting ACL2 conj...

Warren A. Hunt Jr., Erik Reeber

claim paper

Read More »

click to vote

ICGI
2004
Springer

149views Natural Language Processing» more ICGI 2004»

Learning Finite-State Models for Machine Translation

13 years 10 months ago

Download web.iti.upv.es

Enrique Vidal, Francisco Casacuberta

claim paper

Read More »