166 search results - page 24 / 34 » Towards a theory of cache-efficient algorithms |
ICFP
2000
ACM
15 years 1 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
CORR
2010
Springer
14 years 7 months ago
2010
Springer
Structured output prediction is an important machine learning problem both in theory and practice, and the max-margin Markov network (M3 N) is an effective approach. All state-of-...
95
Voted
ICS
2010
Tsinghua U.
15 years 1 months ago
2010
Tsinghua U.
: We study the weight distribution and list-decoding size of Reed-Muller codes. Given a weight parameter, we are interested in bounding the number of Reed-Muller codewords with a w...
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
Wyner-Ziv (WZ) video coding ? a particular case of distributed video coding (DVC) ? is a new video coding paradigm based on two major Information Theory results: the Slepian-Wolf ...
SIGMETRICS
2003
ACM
15 years 2 months ago
2003
ACM
It is common to evaluate scheduling policies based on their mean response times. Another important, but sometimes opposing, performance metric is a scheduling policy’s fairness....