12981 search results - page 2419 / 2597 » Model Checking (Abstract) |
115
Voted
MIG
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Navigation meshes are commonly employed as a practical representation for path planning and other navigation queries in animated virtual environments and computer games. ...
108
Voted
MP
2010
15 years 2 months ago
2010
Abstract We present a matrix-free line search algorithm for large-scale equality constrained optimization that allows for inexact step computations. For sufficiently convex problem...
149
Voted
NOMS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— Today’s networked systems are extensively instrumented for collecting a wealth of monitoring data. In this paper, we propose a framework called System-wide Similarity...
148
Voted
P2P
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—This paper presents a systematic performance analysis of pull P2P video streaming systems for live applications, providing guidelines for the design of the overlay topol...
172
Voted
PCM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper, we propose an efficient video coding system that applies statistical learning methods to reduce the computational cost in H.264 encoder. The proposed metho...