4178 search results - page 305 / 836 » Similarity Patterns in Language |
156
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
Parametric types and virtual types have recently been proposed as extensions to Java to support genericity. In this paper we investigate the strengths and weaknesses of each. We su...
171
click to vote
ICFP
1997
ACM
15 years 11 months ago
1997
ACM
We present a type system for the programming language Erlang. The type system supports subtyping and declarationfree recursive types, using subtyping constraints. Our system is si...
172
click to vote
STOC
1990
ACM
15 years 10 months ago
1990
ACM
Quadratic residuosity and graph isomorphism are classic problems and the canonical examples of zero-knowledge languages. However, despite much research e ort, all previous zerokno...
136
click to vote
LREC
2008
15 years 8 months ago
2008
This paper addresses the problem of synchronizing movie subtitles, which is necessary to improve alignment quality when building a parallel corpus out of translated subtitles. In ...
181
click to vote
ACL
2006
15 years 8 months ago
2006
In this paper we present a tool that uses comparable corpora to find appropriate translation equivalents for expressions that are considered by translators as difficult. For a phr...