3820 search results - page 650 / 764 » Bounded Model Debugging |
108
click to vote
APPROX
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We introduce and study the following model for routing uncertain demands through a network. We are given a capacitated multicommodity flow network with a single source an...
120
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
Factored representations, model-based learning, and hierarchies are well-studied techniques for improving the learning efficiency of reinforcement-learning algorithms in large-sca...
115
click to vote
CAAN
2006
Springer
15 years 5 months ago
2006
Springer
Gossiping is a communication primitive where each node of a network possesses a unique message that is to be communicated to all other nodes in the network. We study the gossiping ...
100
click to vote
FOCS
2004
IEEE
15 years 5 months ago
2004
IEEE
Questions about order versus disorder in systems and models have been fascinating scientists over the years. In Computer Science, order is intimately related to sorting, commonly ...
131
click to vote
DCOSS
2006
Springer
15 years 5 months ago
2006
Springer
Wireless sensor networks are often studied with the goal of removing information from the network as efficiently as possible. However, when the application also includes an actuato...