Sciweavers

1255 search results - page 179 / 251
» Information-Based Machine Translation
Sort
View
83
Voted
ICFCA
2009
Springer
15 years 7 months ago
Revisiting the Potentialities of a Mechanical Thesaurus
This paper revisits the lattice-based thesaurus models which Margaret Masterman used for machine translation in the 1950’s and 60’s. Masterman’s notions are mapped onto moder...
Uta Priss, L. John Old
92
Voted
ECRTS
1998
IEEE
15 years 4 months ago
Tool-supported hierarchical design of distributed real-time systems
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
Henning Dierks, Josef Tapken
100
Voted
FINTAL
2006
15 years 4 months ago
Evaluation of Alignment Methods for HTML Parallel Text
The Internet constitutes a potential huge store of parallel text that may be collected to be exploited by many applications such as multilingual information retrieval, machine tran...
Enrique Sánchez Villamil, Susana Santos-Ant...
EUROPAR
2000
Springer
15 years 4 months ago
Automatic Generation of Block-Recursive Codes
Abstract. Block-recursive codes for dense numerical linear algebra computations appear to be well-suited for execution on machines with deep memory hierarchies because they are e e...
Nawaaz Ahmed, Keshav Pingali
FASE
2000
Springer
15 years 4 months ago
A Process Algebra for Real-Time Programs
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
Henning Dierks