Sciweavers

1216 search results - page 71 / 244
» Translation analysis and translation automation
Sort
View
CLEF
2009
Springer
13 years 9 months ago
Overview and Results of Morpho Challenge 2009
In the Morpho Challenge 2009 unsupervised algorithms that provide morpheme analyses for words in different languages were evaluated in various practical applications. Morpheme ana...
Mikko Kurimo, Sami Virpioja, Ville T. Turunen, Gra...
COLING
2000
13 years 9 months ago
Querying Temporal Databases Using Controlled Natural Language
Recent years have shown a surge in interest in temporal database systems, which allow users to store time-dependent intbrmation. We present a novel controlled natural language int...
Rani Nelken, Nissim Francez
IPL
2010
93views more  IPL 2010»
13 years 6 months ago
Compiling and securing cryptographic protocols
Protocol narrations are widely used in security as semi-formal notations to specify conversations between roles. We define a translation from a protocol narration to the sequence...
Yannick Chevalier, Michaël Rusinowitch
ESOP
2001
Springer
14 years 22 days ago
Encoding Intensional Type Analysis
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...
Stephanie Weirich
ANLP
1994
109views more  ANLP 1994»
13 years 9 months ago
Symmetric Pattern Matching Analysis for English Coordinate Structures
The authors propose a model for analyzing English sentences including coordinate conjunctions such as "and","or","but" and the equivalent words. Synt...
Akitoshi Okumura, Kazunori Muraki