9521 search results - page 1420 / 1905 » Compiling with continuations, continued |
184
click to vote
AAMAS
2010
Springer
15 years 7 months ago
2010
Springer
During face-to-face interactions, listeners use backchannel feedback such as head nods as a signal to the speaker that the communication is working and that they should continue sp...
161
click to vote
AAMAS
2010
Springer
15 years 7 months ago
2010
Springer
This paper investigates cooperative search strategies for agents engaged in costly search in a complex environment. Searching cooperatively, several search goals can be satisfied w...
173
Voted
AAMAS
2008
Springer
15 years 7 months ago
2008
Springer
The continuous growth in ubiquitous and mobile network connectivity, together with the increasing number of networked devices populating our everyday environments, call for a deep ...
177
click to vote
ACTA
2010
15 years 7 months ago
2010
We study the observational theory of Thielecke's CPS-calculus, a distillation of the target language of Continuation-Passing Style transforms. We define a labelled transition...
193
click to vote
ADCM
2010
15 years 7 months ago
2010
Let Rd be a compact convex set of positive measure. In a recent paper, we established a definiteness theory for cubature formulae of order two on . Here we study extremal propert...