Sciweavers

1133 search results - page 159 / 227
» Local Logics for Traces
Sort
View
RT
2000
Springer
15 years 10 months ago
Density Control for Photon Maps
The photon map method allows efficient computation of global illumination in general scenes. Individual photon hits, generated using Monte Carlo particle tracing, are stored in the...
Frank Suykens, Yves D. Willems
PLDI
1995
ACM
15 years 9 months ago
Improving Balanced Scheduling with Compiler Optimizations that Increase Instruction-Level Parallelism
Traditional list schedulers order instructions based on an optimistic estimate of the load latency imposed by the hardware and therefore cannot respond to variations in memory lat...
Jack L. Lo, Susan J. Eggers
DEBS
2010
ACM
15 years 9 months ago
Magnet: practical subscription clustering for Internet-scale publish/subscribe
An effective means for building Internet-scale distributed applications, and in particular those involving group-based information sharing, is to deploy peer-to-peer overlay netwo...
Sarunas Girdzijauskas, Gregory Chockler, Ymir Vigf...
IMC
2007
ACM
15 years 7 months ago
Usage-based dhcp lease time optimization
The Dynamic Host Configuration Protocol (DHCP) is used to dynamically allocate address space to hosts on a local area network. Despite its widespread usage, few studies exist on ...
Manas Khadilkar, Nick Feamster, Matt Sanders, Russ...
EDM
2010
113views Data Mining» more  EDM 2010»
15 years 7 months ago
Using multiple Dirichlet distributions to improve parameter plausibility
Predictive accuracy and parameter plausibility are two major desired aspects for a student modeling approach. Knowledge tracing, the most commonly used approach, suffers from local...
Yue Gong, Joseph E. Beck, Neil T. Heffernan