410 search results - page 23 / 82 » Temporal View Self-Maintenance |
107
click to vote
PSTV
1993
15 years 1 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...
108
click to vote
CI
2002
15 years 9 days 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...
86
Voted
IV
2008
IEEE
15 years 6 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
15 years 4 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...
94
Voted
DEXA
2006
Springer
15 years 4 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 ...