410 search results - page 23 / 82 » Temporal View Self-Maintenance |
PSTV
1993
13 years 8 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
CI
2002
13 years 7 months ago
2002
We present here a theory of motion from a topological point of view, in a symbolic perspective. Taking space-time histories of objects as primitive entities, we introduce temporal...
IV
2008
IEEE
14 years 1 months ago
2008
IEEE
We visualize 113 years of bibliographic data from the American Physical Society. The 389,899 documents are laid out in a two dimensional time-topic reference system. The citations...
VLDB
1999
ACM
13 years 11 months ago
1999
ACM
Database support for multidimensional arrays is an area of growing importance; a variety of highvolume applications such as spatio-temporal data management and statistics/OLAP bec...
DEXA
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Page revisiting is a popular browsing activity in the Web. In this paper we describe a method for improving page revisiting by detecting and highlighting the information ...