2308 search results - page 112 / 462 » Categorial Semantics For LFG |
162
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
Dynamic Random Access Memory (DRAM) is used as the bulk of the main memory in most computing systems and its energy and power consumption has become a first-class design considera...
153
click to vote
TLCA
2009
Springer
16 years 27 days ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
139
click to vote
IUCS
2009
ACM
16 years 27 days ago
2009
ACM
This paper applied “Sandglass” machine translation architecture to the task of translating Japanese functional expressions into English. We employ the semantic equivalence cla...
165
click to vote
SIGIR
2009
ACM
16 years 26 days ago
2009
ACM
When attempting to annotate music, it is important to consider both acoustic content and social context. This paper explores techniques for collecting and combining multiple sourc...
178
click to vote
PPDP
2007
Springer
16 years 14 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...