Sciweavers

140 search results - page 4 / 28
» Application of Analogical Modelling to Example Based Machine...
Sort
View
ESORICS
2002
Springer
15 years 9 months ago
Formal Security Analysis with Interacting State Machines
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
David von Oheimb, Volkmar Lotz
72
Voted
NLDB
2005
Springer
15 years 3 months ago
Automatic Filtering of Bilingual Corpora for Statistical Machine Translation
Abstract. For many applications such as machine translation and bilingual information retrieval, the bilingual corpora play an important role in training the system. Because they a...
Shahram Khadivi, Hermann Ney
LREC
2010
169views Education» more  LREC 2010»
14 years 11 months ago
Using Comparable Corpora to Adapt a Translation Model to Domains
Statistical machine translation (SMT) requires a large parallel corpus, which is available only for restricted language pairs and domains. To expand the language pairs and domains...
Hiroyuki Kaji, Takashi Tsunakawa, Daisuke Okada
ISORC
2000
IEEE
15 years 1 months ago
Architecture, Design Methodology, and Component-Based Tools for a Real-Time Inspection System
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...
John Albert Horst
86
Voted
TASLP
2008
207views more  TASLP 2008»
14 years 9 months ago
Joint Morphological-Lexical Language Modeling for Processing Morphologically Rich Languages With Application to Dialectal Arabic
Language modeling for an inflected language such as Arabic poses new challenges for speech recognition and machine translation due to its rich morphology. Rich morphology results i...
Ruhi Sarikaya, Mohamed Afify, Yonggang Deng, Hakan...