2082 search results - page 3 / 417 » Change Paths in Reasoning! |
CAV
2003
Springer
14 years 22 days ago
2003
Springer
We consider the problem of reasoning with linear temporal logic on truncated paths. A truncated path is a path that is finite, but not necessarily maximal. Truncated paths arise n...
CATS
2008
13 years 9 months ago
2008
In this paper we consider a problem that occurs when drawing public transportation networks. Given an embedded graph G = (V, E) (e.g. the railroad network) and a set H of paths in...
GIS
1992
ACM
13 years 11 months ago
1992
ACM
TIME
2005
IEEE
14 years 1 months ago
2005
IEEE
KI
2005
Springer
14 years 1 months ago
2005
Springer
To reason about geographical objects, it is not only necessary to have more or less complete information about where these objects are located in space, but also how they can chang...