1716 search results - page 299 / 344 » Proving Conditional Termination |
133
Voted
JSAC
2010
14 years 7 months ago
2010
Robotic sensor networks are more powerful than sensor networks because the sensors can be moved by the robots to adjust their sensing coverage. In robotic sensor networks, an impor...
MOC
2010
14 years 7 months ago
2010
Abstract. We introduce a new mixed method for linear elasticity. The novelty is a simplicial element for the approximate stress. For every positive integer k, the row-wise divergen...
120
Voted
SIGMETRICS
2010
ACM
14 years 7 months ago
2010
ACM
This paper builds a complete modeling framework for understanding user churn and in-degree dynamics in unstructured P2P systems in which each user can be viewed as a stationary al...
110
Voted
TRANSCI
2010
14 years 7 months ago
2010
Consider the following game. Given a network with a continuum of users at some origins, suppose that users wish to reach specic destinations, but that they are not indierent to the...
117
click to vote
TSP
2010
14 years 7 months ago
2010
Graphical models are a framework for representing and exploiting prior conditional independence structures within distributions using graphs. In the Gaussian case, these models are...