9521 search results - page 1679 / 1905 » Compiling with continuations, continued |
168
click to vote
CEEMAS
2005
Springer
16 years 19 hour ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
144
click to vote
CEEMAS
2005
Springer
16 years 19 hour ago
2005
Springer
A honeybee colony has to choose among several nectar sources in the environment, each fluctuating in quality over time. Successful forager bees return to the hive and perform dance...
163
click to vote
CP
2005
Springer
16 years 16 hour ago
2005
Springer
Abstract. In recent years, dynamic local search (DLS) clause weighting algorithms have emerged as the local search state-of-the-art for solving propositional satisfiability proble...
173
click to vote
CRYPTO
2005
Springer
16 years 16 hour ago
2005
Springer
We study the question whether the sequential or parallel composition of two functions, each indistinguishable from a random function by non-adaptive distinguishers is secure agains...
185
click to vote
DGCI
2005
Springer
16 years 14 hour ago
2005
Springer
A new approach to ray tracing implicit surfaces based on recursive space subdivision is presented in this paper. Interval arithmetic, already used to calculate intersections in ray...