1471 search results - page 168 / 295 » Church: a language for generative models |
182
Voted
PLDI
2003
ACM
16 years 8 days ago
2003
ACM
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...
207
Voted
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
In object oriented programming, it is sometimes necessary to copy objects and to compare them for equality or inequality. We discuss some of the issues involved in copying and comp...
189
Voted
PLDI
2003
ACM
16 years 8 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...
209
Voted
ENTCS
2006
15 years 7 months ago
2006
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
191
Voted
SIGIR
2005
ACM
16 years 18 days ago
2005
ACM
This paper presents a new discriminative model for information retrieval (IR), referred to as linear discriminant model (LDM), which provides a flexible framework to incorporate a...