Sciweavers

4460 search results - page 57 / 892
» Resources in process algebra
Sort
View
LREC
2010
133views Education» more  LREC 2010»
15 years 7 months ago
Using High-Quality Resources in NLP: The Valency Dictionary of English as a Resource for Left-Associative Grammars
In Natural Language Processing (NLP), the quality of a system depends to a great extent on the quality of the linguistic resources it uses. Due to the unpredictable character of v...
Thomas Proisl, Besim Kabashi
EMNLP
2009
15 years 3 months ago
Improved Statistical Machine Translation for Resource-Poor Languages Using Related Resource-Rich Languages
We propose a novel language-independent approach for improving statistical machine translation for resource-poor languages by exploiting their similarity to resource-rich ones. Mo...
Preslav Nakov, Hwee Tou Ng
ICCS
2004
Springer
15 years 11 months ago
Design of Interactive Environment for Numerically Intensive Parallel Linear Algebra Calculations
Problem Solving Environments have a well established position as an essential tool for computational science. We focus our attention in this article on how to provide parallel com...
Piotr Luszczek, Jack Dongarra
FCT
2003
Springer
15 years 11 months ago
Compositionality of Hennessy-Milner Logic through Structural Operational Semantics
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind