518 search results - page 5 / 104 » Time Window Temporal Logic |
TIME
2003
IEEE
15 years 6 months ago
2003
IEEE
105
Voted
ADBIS
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Overlapping Linear Quadtrees is a structure suitable for storing consecutive raster images according to transaction time (a database of evolving images). This structure s...
126
Voted
GRC
2005
IEEE
15 years 6 months ago
2005
IEEE
— In this article, a formalism for a specific temporal data mining task (the discovery of rules, inferred from databases of events having a temporal dimension), is defined. The...
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
101
click to vote
CSR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...