3780 search results - page 141 / 756 » Algorithms for Game Metrics |
142
Voted
SIGCOMM
2004
ACM
15 years 10 months ago
2004
ACM
Routing protocols for wireless ad hoc networks have traditionally focused on finding paths with minimum hop count. However, such paths can include slow or lossy links, leading to...
153
Voted
CHARME
2003
Springer
15 years 8 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
141
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The Laplace-Beltrami operator of a smooth Riemannian manifold is determined by the Riemannian metric. Conversely, the heat kernel constructed from its eigenvalues and eigenfunctio...
175
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— Scan matching techniques have been widely used to compute the displacement of robots. This estimate is part of many algorithms addressing navigation and mapping. This paper add...
137
click to vote
COMPLEX
2009
Springer
15 years 11 months ago
2009
Springer
This paper explores scientific metrics in citation networks in scientific communities, how they differ in ranking papers and authors, and why. In particular we focus on network eff...