518 search results - page 31 / 104 » Time Window Temporal Logic |
222
click to vote
GIS
2006
ACM
16 years 18 days ago
2006
ACM
The W3C's Semantic Web Activity is illustrating the use of semantics for information integration, search, and analysis. However, the majority of the work in this community ha...
106
click to vote
JOT
2010
14 years 10 months ago
2010
This paper is part 5 in a series of papers about the Discrete Fourier Transform (DFT) and the Inverse Discrete Fourier Transform (IDFT). The focus of this paper is on the spectrog...
146
click to vote
JOT
2010
14 years 10 months ago
2010
This paper is part 6 in a series of papers about the Discrete Fourier Transform (DFT) and the Inverse Discrete Fourier Transform (IDFT). The focus of this paper is on correlation....
112
click to vote
DEON
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
ACL
2009
14 years 9 months ago
2009
Recent work on temporal relation identification has focused on three types of relations between events: temporal relations between an event and a time expression, between a pair o...