5084 search results - page 693 / 1017 » Proving Possibility Properties |
150
click to vote
WSC
2004
15 years 8 months ago
2004
In this paper, we consider the fast simulation of traffic groomed optical networks, in which multiple sub-rate traffic streams may be carried on the same wavelength. For real-size...
187
click to vote
ICMAS
2000
15 years 8 months ago
2000
This paper investigates the computational complexity of a fundamental problem in multi-agent systems: given an environment together with a specification of some task, can we const...
186
click to vote
SODA
2000
ACM
15 years 8 months ago
2000
ACM
Most research in algorithms for geometric query problems has focused on their worstcase performance. However, when information on the query distribution is available, the alternat...
156
click to vote
NIPS
1996
15 years 8 months ago
1996
Closed-loop control relies on sensory feedback that is usually assumed to be free. But if sensing incurs a cost, it may be coste ective to take sequences of actions in open-loop m...
176
click to vote
SOSP
1993
ACM
15 years 8 months ago
1993
ACM
Handling audio and video in a digital environment requires timely delivery of data. This paper describes the principles adopted in the design of the Pandora networked multi-media ...