3156 search results - page 137 / 632 » An address translation simulator |
146
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
104
click to vote
CLEF
2006
Springer
15 years 5 months ago
2006
Springer
This paper describes the development of a Question Answering (QA) system and its evaluation results in the Romanian-English cross-lingual track organized as part of the CLEF1 2006 ...
103
click to vote
ICADL
2010
Springer
15 years 3 months ago
2010
Springer
Can the speakers of small languages, which may be remote, unwritten, and endangered, be trained to create an archival record of their oral literature, with only limited external su...
106
click to vote
LREC
2010
15 years 3 months ago
2010
Automatically translating natural language into machine-readable instructions is one of major interesting and challenging tasks in Natural Language (NL) Processing. This problem c...
LREC
2010
15 years 3 months ago
2010
In this paper we describe two geometrical models of meaning representation, the Semantic Atlas (SA) and the Automatic Contexonym Organizing Model (ACOM). The SA provides maps of m...