3166 search results - page 328 / 634 » Translation By Structural Correspondences |
170
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
154
click to vote
IJES
2008
15 years 6 months ago
2008
: At Leiden Embedded Research Center (LERC), we are building a tool chain called Compaan/Laura that allows us to map rapidly and efficiently signal processing applications written ...
215
click to vote
IPM
2006
15 years 6 months ago
2006
In this paper, we propose a new learning method for extracting bilingual word pairs from parallel corpora in various languages. In cross-language information retrieval, the system...
203
click to vote
PAMI
2006
15 years 6 months ago
2006
Estimating human body poses in static images is important for many image understanding applications including semantic content extraction and image database query and retrieval. Th...
207
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...