127 search results - page 20 / 26 » Towards Practical Enforcement Theories |
POPL
2005
ACM
14 years 10 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
ICIP
2006
IEEE
14 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 ...
INFOSCALE
2006
ACM
14 years 3 months ago
2006
ACM
Abstract— With the increasing popularity of parallel programming environments such as PC clusters, more and more sequential programmers, with little knowledge about parallel arch...
ICS
2010
Tsinghua U.
14 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...
JETAI
2007
13 years 9 months ago
2007
Reasoning, problem solving, indeed the general process of acquiring knowledge, is not an isolated, homogenous affair involving a one agent using a single form of representation, b...