581 search results - page 74 / 117 » Translating dependency into parametricity |
HPCN
1995
Springer
14 years 1 months ago
1995
Springer
The Mermaid project focuses on the construction of simulation models for MIMD multi-computers in order to evaluate them and to give estimates of the system’s performance. A multi...
CDC
2008
IEEE
13 years 12 months ago
2008
IEEE
In this paper we introduce a scheme for tracking a magnetic nanoparticle in 3-D with the tip of a magnetic force microscope. The stray magnetic field of the magnetic particle induc...
APPROX
2010
Springer
13 years 11 months ago
2010
Springer
We initiate the study of on-line metric embeddings. In such an embedding we are given a sequence of n points X = x1, . . . , xn one by one, from a metric space M = (X, D). Our goal...
EMNLP
2007
13 years 11 months ago
2007
Reordering model is important for the statistical machine translation (SMT). Current phrase-based SMT technologies are good at capturing local reordering but not global reordering...
EMNLP
2008
13 years 11 months ago
2008
This paper introduces a new method for identifying named-entity (NE) transliterations in bilingual corpora. Recent works have shown the advantage of discriminative approaches to t...