20294 search results - page 453 / 4059 » Algorithmic Information Theory |
150
click to vote
LATIN
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. We introduce here a rewrite system in the group of unimodular matrices, i.e., matrices with integer entries and with determinant
184
click to vote
NAACL
2004
15 years 9 months ago
2004
We propose a theory that gives formal semantics to word-level alignments defined over parallel corpora. We use our theory to introduce a linear algorithm that can be used to deriv...
174
click to vote
ECCC
2007
15 years 7 months ago
2007
Abstract. Combining classical approximability questions with parameterized complexity, we introduce a theory of parameterized approximability. The main intention of this theory is ...
143
click to vote
MOC
2000
15 years 7 months ago
2000
Resolutions of cusp singularities are crucial to many techniques in computational number theory, and therefore finding explicit resolutions of these singularities has been the focu...