5356 search results - page 64 / 1072 » Adventures in time and space |
ICCSA
2004
Springer
15 years 5 months ago
2004
Springer
We propose Inflate-Paste – a new technique for generating orthogonal polygons with a given number of vertices from a unit square based on gluing rectangles. It is dual to Inflate...
ICS
2004
Tsinghua U.
15 years 5 months ago
2004
Tsinghua U.
ICTAC
2004
Springer
15 years 5 months ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...
LCTRTS
2004
Springer
15 years 5 months ago
2004
Springer
106
click to vote
COSIT
2003
Springer
15 years 5 months ago
2003
Springer
To travel successfully in a dynamic space-time setting, wayfinders must project the impact of a changing environment onto future travel choices. When making decisions, however, peo...