9521 search results - page 150 / 1905 » Compiling with continuations, continued |
132
click to vote
AAAI
1990
15 years 4 months ago
1990
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...
132
click to vote
GI
2004
Springer
15 years 8 months ago
2004
Springer
: Most of the investigations on ad hoc protocols do not consider the fact that future wireless networks are capable to adapt their behaviour to the channel situation. These adaptin...
120
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We establish the existence of optimal scheduling strategies for time-bounded reachability in continuous-time Markov decision processes, and of co-optimal strategies for continuous-...
118
click to vote
AAECC
2006
Springer
15 years 3 months ago
2006
Springer
Abstract Besides equidistribution properties and statistical independence the lattice profile, a generalized version of Marsaglia's lattice test, provides another quality meas...
119
click to vote
AML
2006
15 years 3 months ago
2006
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...