581 search results - page 51 / 117 » Translating dependency into parametricity |
WOSP
2005
ACM
14 years 3 months ago
2005
ACM
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
FOSSACS
2005
Springer
14 years 3 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
FSMNLP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We are working on the construction of a Spanish-Basque (eseu) machine translation tool using the traditional transfer model based on shallow and dependency parsing. Spani...
COLING
2010
13 years 4 months ago
2010
We describe an effective constituent projection strategy, where constituent projection is performed on the basis of dependency projection. Especially, a novel measurement is propo...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
Model M, a novel class-based exponential language model, has been shown to significantly outperform word n-gram models in state-of-the-art machine translation and speech recognit...