4620 search results - page 278 / 924 » Comparing Object Encodings |
143
click to vote
MM
2005
ACM
16 years 7 days ago
2005
ACM
We propose a new workload-scalable audio decoding scheme that would enable users to control the tradeoff between playback quality and power consumption in battery-powered portable...
180
click to vote
ICLP
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents experimental comparisons between declarative encodings of various computationally hard problems in both Answer Set Programming (ASP) and Constraint Logic Progra...
166
click to vote
PPDP
2005
Springer
16 years 5 days ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
169
click to vote
IPSN
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This paper describes two methodologies for performing distributed particle filtering in a sensor network. It considers the scenario in which a set of sensor nodes make m...
165
click to vote
MPC
2004
Springer
16 years 1 days ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...