4690 search results - page 277 / 938 » An operational semantics for Scheme |
129
click to vote
USS
2008
15 years 9 months ago
2008
There are many advantages to voting schemes in which voters rank all candidates in order, rather than just choosing their favourite. However, these schemes inherently suffer from ...
161
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
We propose a control theory-based dynamic voltage scaling (DVS) algorithm for interactive 3D game applications running on batterypowered portable devices. Using this scheme, we pe...
169
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
143
click to vote
FSTTCS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
177
click to vote
AI
2010
Springer
15 years 6 months ago
2010
Springer
Many belief change formalisms employ plausibility orderings over the set of possible worlds to determine how the beliefs of an agent ought to be modified after the receipt of a ne...