Sciweavers

6299 search results - page 244 / 1260
» Data and Computation Abstractions for Dynamic and Irregular ...
Sort
View
ATMOS
2009
130views Optimization» more  ATMOS 2009»
15 years 8 months ago
Arc-Flags in Dynamic Graphs
Abstract. Computation of quickest paths has undergoing a rapid development in recent years. It turns out that many high-performance route planning algorithms are made up of several...
Emanuele Berrettini, Gianlorenzo D'Angelo, Daniel ...
CONEXT
2010
ACM
15 years 4 months ago
Declarative configuration management for complex and dynamic networks
Abstract-- Network management and operations are complicated, tedious, and error-prone, requiring significant human involvement and domain knowledge. As the complexity involved ine...
Xu Chen, Yun Mao, Zhuoqing Morley Mao, Jacobus E. ...
FUIN
2010
97views more  FUIN 2010»
15 years 5 months ago
Game Solution, Epistemic Dynamics and Fixed-Point Logics
Abstract. Current methods for solving games embody a form of “procedural rationality” that invites logical analysis in its own right. This paper is a brief case study of Backwa...
Johan van Benthem, Amélie Gheerbrant
CDC
2010
IEEE
170views Control Systems» more  CDC 2010»
15 years 2 months ago
Motion planning with hybrid dynamics and temporal goals
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi
GD
2004
Springer
16 years 18 days ago
Dynamic Graph Drawing of Sequences of Orthogonal and Hierarchical Graphs
Abstract. In this paper we introduce two novel algorithms for drawing sequences of orthogonal and hierarchical graphs while preserving the mental map. Both algorithms can be parame...
Carsten Görg, Peter Birke, Mathias Pohl, Step...