Sciweavers

1701 search results - page 7 / 341
» Computer Science and State Machines
Sort
View
85
Voted
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...
JUCS
2006
185views more  JUCS 2006»
14 years 9 months ago
The Berlin Brain-Computer Interface: Machine Learning Based Detection of User Specific Brain States
We outline the Berlin Brain-Computer Interface (BBCI), a system which enables us to translate brain signals from movements or movement intentions into control commands. The main co...
Benjamin Blankertz, Guido Dornhege, Steven Lemm, M...
MFCS
1998
Springer
15 years 1 months ago
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...
Egon Börger, Wolfram Schulte
ASM
2000
ASM
15 years 2 months ago
Abstract State Machines and Computationally Complete Query Languages
Andreas Blass, Yuri Gurevich, Jan Van den Bussche