3166 search results - page 42 / 634 » Translation By Structural Correspondences |
103
click to vote
ADBIS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In today’s global environment, the structure and presentation of information may depend on the underlying context of the user. To address this issue, in previous work w...
105
Voted
CORR
2010
Springer
15 years 19 days ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
102
click to vote
EACL
2009
ACL Anthology
16 years 1 months ago
2009
ACL Anthology
We present a method which, given a few words defining a concept in some language, retrieves, disambiguates and extends corresponding terms that define a similar concept in another...
86
Voted
ASYNC
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper discusses the application of the timing analysis tool ATACS to the high performance, self-resetting and delayed-reset domino circuits being designed at IBM's Austi...
102
Voted
AMTA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We describe an approach to creating a small but diverse corpus in English that can be used to elicit information about any target language. The focus of the corpus is on ...