Sciweavers

1243 search results - page 179 / 249
» Pattern-Based Machine Translation
Sort
View
ECRTS
1998
IEEE
14 years 2 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
FINTAL
2006
14 years 1 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
14 years 1 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
14 years 1 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
SIGLEX
1991
14 years 1 months ago
Lexicon, Ontology, and Text Meaning
A computationally relevant theory of lexical semantics must take into consideration both the form and the content of three different static knowledge sources -- the lexicon, the o...
Boyan A. Onyshkevych, Sergei Nirenburg