734 search results - page 65 / 147 » Undecidability over Continuous Time |
IJCAI
2007
13 years 10 months ago
2007
Agents often have to construct plans that obey deadlines or, more generally, resource limits for real-valued resources whose consumption can only be characterized by probability d...
SAC
2006
ACM
14 years 2 months ago
2006
ACM
This paper addresses design exploration for protocols that are employed in systems with availability-consistency tradeoffs. Distributed data is modelled as states of objects repl...
NIME
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, I would like to introduce my experimental study of multimedia psychology. My initial focus of investigation is the interaction between perceptions of auditory and v...
SIGMETRICS
2010
ACM
13 years 7 months ago
2010
ACM
Many network-management problems in large backbone networks need the answer to a seemingly simple question: where does a given IP packet, entering the network at a particular plac...
STOC
2009
ACM
14 years 9 months ago
2009
ACM
The continuous-time query model is a variant of the discrete query model in which queries can be interleaved with known operations (called "driving operations") continuo...