Sciweavers

1870 search results - page 76 / 374
» Abstract And-Parallel Machines
Sort
View
CICLING
2008
Springer
13 years 11 months ago
Dynamic Translation Memory: Using Statistical Machine Translation to Improve Translation Memory Fuzzy Matches
Abstract. Professional translators of technical documents often use Translation Memory (TM) systems in order to capitalize on the repetitions frequently observed in these documents...
Ergun Biçici, Marc Dymetman
HCI
2007
13 years 11 months ago
Augmenting Cognition: Reviewing the Symbiotic Relation Between Man and Machine
Abstract. One of the goals of augmented cognition is creation of adaptive human-machine collaboration that continually optimizes performance of the human-machine system. Augmented ...
Tjerk de Greef, Kees van Dongen, Marc Grootjen, Ja...
MT
2006
106views more  MT 2006»
13 years 9 months ago
Example-based machine translation based on tree-string correspondence and statistical generation
Abstract. This paper describes an example-based machine translation (EBMT) method based on tree-string correspondence (TSC) and statistical generation. In this method, the translat...
Zhan-yi Liu, Haifeng Wang, Hua Wu
EUROPAR
2007
Springer
14 years 3 months ago
Virtual Cluster Management with Xen
Recently, virtualization of hardware resources to run multiple instances of independent virtual machines over physical hosts has gained popularity due to an industry-wide focus on ...
Nikhil Bhatia, Jeffrey S. Vetter
ASM
2005
ASM
14 years 3 months ago
Verifying Security Protocols: An ASM Approach
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
Dominik Haneberg, Holger Grandy, Wolfgang Reif, Ge...