Sciweavers

581 search results - page 75 / 117
» Translating dependency into parametricity
Sort
View
FORTE
2007
15 years 1 months ago
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...
ACL
2006
15 years 1 months ago
Punjabi Machine Transliteration
Machine Transliteration is to transcribe a word written in a script with approximate phonetic equivalence in another language. It is useful for machine translation, cross-lingual ...
M. G. Abbas Malik
WSCG
2004
159views more  WSCG 2004»
15 years 1 months ago
A Fast Method for Applying Rigid Transformations to Volume Data
Volume rendering is a widespread method for displaying graphical models in fields such as medical visualization or engineering. The required image information is stored in a volum...
Jan Fischer, Ángel del Río
ACL
1998
15 years 1 months ago
Definiteness Predictions for Japanese Noun Phrases
One of the major problems when translating from Japanese into a European language such as German or English is to determine definiteness of noun phrases in order to choose the cor...
Julia E. Heine
ACL
1994
15 years 1 months ago
Automatic Alignment in Parallel Corpora
This paper addresses the alignment issue in the framework of exploitation of large bimultilingual corpora for translation purposes. A generic alignment scheme is proposed that can...
Harris Papageorgiou, Lambros Cranias, Stelios Pipe...