2608 search results - page 272 / 522 » Subjects, Models, Languages, Transformations |
201
click to vote
PLDI
2003
ACM
16 years 14 days 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...
223
click to vote
SIGIR
2004
ACM
16 years 20 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...
180
click to vote
SIGIR
2006
ACM
16 years 1 months 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...
200
click to vote
SIGSOFT
2003
ACM
16 years 8 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 ...
214
click to vote
BTW
2007
Springer
15 years 11 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 ...