518 search results - page 38 / 104 » Time Window Temporal Logic |
113
click to vote
DALT
2008
Springer
15 years 1 months ago
2008
Springer
The core capability of a rational agent is to choose its next action in a rational fashion, a capability that can be put to good use by a designer to satisfy the design objectives ...
FSTTCS
2006
Springer
15 years 3 months ago
2006
Springer
We consider a general class of timed automata parameterized by a set of "input-determined" operators, in a continuous time setting. We show that for any such set of opera...
189
click to vote
ICDE
2005
IEEE
16 years 1 months ago
2005
IEEE
Online monitoring of data streams poses a challenge in many data-centric applications, such as telecommunications networks, traffic management, trend-related analysis, webclick st...
108
click to vote
TIME
2007
IEEE
15 years 6 months ago
2007
IEEE
Transaction-time temporal databases and query languages provide a solid framework for analyzing properties of queries over data streams. In this paper we focus on issues connected...
ICDM
2010
IEEE
14 years 9 months ago
2010
IEEE
-- Temporal data are time-critical in that the snapshot at each timestamp must be made available to researchers in a timely fashion. However, due to the limited data, each snapshot...