3047 search results - page 157 / 610 » A Temporal Consensus Model |
151
click to vote
VL
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper we propose a visual interface for the specification of predicates to be used in queries on spatio-temporal databases. The approach is based on a visual specification...
159
click to vote
ICMCS
1996
IEEE
15 years 9 months ago
1996
IEEE
Multimedia applications usually involve a large number of multimedia objects (texts, images, sounds etc.). Spatial and temporal relationships among these objects should be efficie...
164
click to vote
DAMON
2008
Springer
15 years 7 months ago
2008
Springer
A major performance bottleneck for database systems is the memory hierarchy. The performance of the memory hierarchy is directly related to how the content of disk pages maps to t...
158
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Metric Temporal Logic (MTL) is a prominent specification formalism for realtime systems. In this paper, we show that the satisfiability problem for MTL over finite tim...
146
click to vote
AICOM
2004
15 years 5 months ago
2004
Abstract. Dechter et al. [5] proposed solving the Temporal Constraint Satisfaction Problem (TCSP) by modeling it as a metaCSP, which is a finite CSP with a unique global constraint...