Sciweavers

89 search results - page 1 / 18
» On the Translation of Procedures to Finite Machines
Sort
View
63
Voted
ESOP
2000
Springer
15 years 1 months ago
On the Translation of Procedures to Finite Machines
Markus Müller-Olm, Andreas Wolf
EMNLP
2004
14 years 11 months ago
From Machine Translation to Computer Assisted Translation using Finite-State Models
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...
ACL2
2006
ACM
15 years 3 months ago
A SAT-based procedure for verifying finite state machines in ACL2
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
Warren A. Hunt Jr., Erik Reeber
ICGI
2004
Springer
15 years 3 months ago
Learning Finite-State Models for Machine Translation
Enrique Vidal, Francisco Casacuberta