6192 search results - page 329 / 1239 » Structure benefits all |
222
click to vote
CGF
2008
15 years 7 months ago
2008
This paper presents a novel method that effectively combines both control variates and importance sampling in a sequential Monte Carlo context. The radiance estimates computed dur...
184
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
170
click to vote
EOR
2008
15 years 7 months ago
2008
This paper describes potential applications of multi-attribute preference models (MAPM) in e-commerce and offers some guidelines for their implementation. MAPM are methodologies f...
185
click to vote
ENTCS
2006
15 years 7 months ago
2006
Recently, encodings in interaction nets of the call-by-name and call-by-value strategies of the -calculus have been proposed. The purpose of these encodings was to he gap between ...
190
click to vote
CAL
2007
15 years 7 months ago
2007
Current on-chip block-centric memory hierarchies exploit access patterns at the fine-grain scale of small blocks. Several recently proposed memory hierarchy enhancements for coher...