2608 search results - page 272 / 522 » Subjects, Models, Languages, Transformations |
173
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
198
click to vote
SIGIR
2004
ACM
16 years 1 days ago
2004
ACM
In this paper, we describe research which could lead to a novel approach to gathering an overview of a document in a foreign language. The research explores how much of the meanin...
161
click to vote
SIGIR
2006
ACM
16 years 17 days ago
2006
ACM
This paper presents a study of three statistical query translation models that use different units of translation. We begin with a review of a word-based translation model that us...
172
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
193
click to vote
BTW
2007
Springer
15 years 10 months ago
2007
Springer
: Schema mapping techniques for data exchange have become popular and useful tools both in research and industry. A schema mapping relates a source schema with a target schema via ...