Sciweavers

568 search results - page 77 / 114
» From Machine Translation to Computer Assisted Translation us...
Sort
View
CORR
2004
Springer
142views Education» more  CORR 2004»
14 years 9 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
SPAA
1993
ACM
15 years 1 months ago
Scan Grammars: Parallel Attribute Evaluation via Data-Parallelism
This paper concerns the problem of how to exploit parallelism during the phases of compilation involving syntaxdirected analysis and translation. In particular, we address the pro...
Thomas W. Reps
ECCV
2008
Springer
14 years 11 months ago
Shape-Based Retrieval of Heart Sounds for Disease Similarity Detection
Retrieval of similar heart sounds from a sound database has applications in physician training, diagnostic screening, and decision support. In this paper, we exploit a visual rende...
Tanveer Fathima Syeda-Mahmood, Fei Wang
CLEF
2007
Springer
15 years 3 months ago
Amharic-English Information Retrieval with Pseudo Relevance Feedback
We describe cross language retrieval experiments using Amharic queries and English language document collection from our participation in the bilingual ad hoc track at the CLEF 20...
Atelach Alemu Argaw
FOSSACS
2005
Springer
15 years 3 months ago
Mathematical Models of Computational and Combinatorial Structures
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
Marcelo P. Fiore