7820 search results - page 406 / 1564 » Formalization of Time and Space |
180
click to vote
STTT
2008
15 years 7 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
344
click to vote
ICDE
2009
IEEE
16 years 9 months ago
2009
IEEE
In many applications, we need to analyze a large number of time series. Segments of time series demonstrating dominating advantages over others are often of particular interest. In...
157
click to vote
PRL
2008
15 years 7 months ago
2008
We propose a novel method for quasi-periodic time series patterns matching, through signature exchange between the two patterns. The signature is obtained through sorting of the t...
241
Voted
CONCUR
1999
Springer
16 years 5 hour ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
203
click to vote
KDD
2009
ACM
16 years 8 months ago
2009
ACM
Classification of time series has been attracting great interest over the past decade. Recent empirical evidence has strongly suggested that the simple nearest neighbor algorithm ...