546 search results - page 92 / 110 » Improved Word-Level System Combination for Machine Translati... |
135
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
141
click to vote
ACMICEC
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents a loosely coupled service-composition paradigm. This paradigm employs a distributed data flow that differs markedly from centralized information flow adopted b...
140
click to vote
CLEF
2010
Springer
15 years 5 months ago
2010
Springer
In the intellectual property field two tasks are of high relevance: prior art searching and patent classification. Prior art search is fundamental for many strategic issues such as...
132
click to vote
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
Design of programmable processors and embedded applications requires instruction-set simulators for early exploration and validation of candidate architectures. Interpretive simul...
145
click to vote
AIME
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we report on the fusion of simple retrieval strategies with thesaural resources in order to perform large-scale text categorization tasks. Unlike most related system...