Sciweavers

4201 search results - page 203 / 841
» Interaction graphs: Additives
Sort
View
263
Voted
IJCAI
1993
15 years 7 months ago
Using Local Information in a Non-Local Way for Mapping Graph-Like Worlds
This paper describes a technique whereby an autonomous agent such as a mobile robot can explore an unknown environment and make a topologicalmapofit. It is assumedthat the environ...
Gregory Dudek, Paul Freedman, Souad Hadjres
PVLDB
2010
146views more  PVLDB 2010»
15 years 4 months ago
Graph Indexing of Road Networks for Shortest Path Queries with Label Restrictions
The current widespread use of location-based services and GPS technologies has revived interest in very fast and scalable shortest path queries. We introduce a new shortest path q...
Michael Rice, Vassilis J. Tsotras
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
15 years 3 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
VISSOFT
2005
IEEE
15 years 11 months ago
DependencyViewer - A Tool for Visualizing Package Design Quality Metrics
DependencyViewer helps to control package dependencies to avoid degeneration of package designs. To this end it computes design quality metrics including stabilabstractness for ea...
Michael Wilhelm, Stephan Diehl
187
Voted
ICALP
2004
Springer
15 years 11 months ago
The Minimum-Entropy Set Cover Problem
We study graph orientations that minimize the entropy of the in-degree sequence. The problem of finding such an orientation is an interesting special case of the minimum entropy ...
Eran Halperin, Richard M. Karp