3166 search results - page 127 / 634 » Translation By Structural Correspondences |
126
click to vote
BDA
1993
15 years 2 months ago
1993
We show how structured data stored in files can benefit from standard database technology and in particular be queried and updated using database languages. We introduce the notio...
104
Voted
ENTCS
2006
15 years 23 days ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
79
Voted
CORR
2006
Springer
15 years 24 days ago
2006
Springer
: In this paper, our aim is to propose a model that helps in the efficient use of an information system by users, within the organization represented by the IS, in order to resolve...
94
Voted
ACL
2009
14 years 10 months ago
2009
We report in this paper our work on accurately generating case markers and suffixes in English-to-Hindi SMT. Hindi is a relatively free word-order language, and makes use of a com...
111
Voted
ICIP
2008
IEEE
16 years 2 months ago
2008
IEEE
We address two-dimensional shape-based classification, considering shapes described by arbitrary sets of unlabeled points, or landmarks. This is relevant in practice because, in m...