557 search results - page 62 / 112 » Spatial Semantics in Difference Spaces |
FORMATS
2008
Springer
13 years 10 months ago
2008
Springer
Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model c...
AVI
2004
13 years 10 months ago
2004
ZoneZoom is an input technique that lets users traverse large information spaces on smartphones. Our technique ZoneZoom, segments a given view of an information space into nine su...
DEBU
2010
13 years 9 months ago
2010
Much research has been conducted on the management of outdoor moving objects. In contrast, relatively little research has been conducted on indoor moving objects. The indoor setti...
JCDL
2011
ACM
12 years 11 months ago
2011
ACM
We need to harness the growing wealth of information in digital libraries to support intellectual work involving creative and exploratory processes. Prior research on hypertext au...
COSIT
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we propose the use of small global memory for a viewer’s immediate surroundings to assist in recognising places that have been visited previously. We call this glob...