9521 search results - page 390 / 1905 » Compiling with continuations, continued |
123
click to vote
PPDP
2010
Springer
15 years 2 months ago
2010
Springer
Control operators for delimited continuations are useful in various fields such as partial evaluation, CPS translation, and representation of monadic effects. While many works in...
131
click to vote
TROB
2010
15 years 2 months ago
2010
—To efficiently solve challenging motion-planning problems with dynamics, this paper proposes treating motion planning not just as a search problem in a continuous space but as ...
137
click to vote
ICMCS
2009
IEEE
15 years 2 months ago
2009
IEEE
In live peer-to-peer (P2P) streaming, each peer (child) has a number of supplying parents whose packets have to be scheduled and delivered in time for continuous playback at the c...
163
click to vote
FI
2011
14 years 11 months ago
2011
: Multimedia streaming means delivering continuous data to a plethora of client devices. Besides the actual data transport, this also needs a high degree of content adaptation resp...
147
click to vote
JSYML
2010
14 years 11 months ago
2010
We prove that any countable index, universally measurable subgroup of a Polish group is open. By consequence, any universally measurable homomorphism from a Polish group into the i...