Sciweavers

441 search results - page 19 / 89
» Refinement of Time
Sort
View
DCC
2005
IEEE
14 years 8 months ago
The Markov Expert for Finding Episodes in Time Series
We describe a domain-independent, unsupervised algorithm for refined segmentation of time series data into meaningful episodes, focusing on the problem of text segmentation. The V...
Jimming Cheng, Michael Mitzenmacher
ZUM
1998
Springer
105views Formal Methods» more  ZUM 1998»
14 years 25 days ago
Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space
We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicat...
Richard F. Paige
TSP
2010
13 years 3 months ago
Timing estimation and resynchronization for amplify-and- forward communication systems
Abstract--This paper proposes a general framework to effectively estimate the unknown timing and channel parameters, as well as design efficient timing resynchronization algorithms...
Xiao Li, Chengwen Xing, Yik-Chung Wu, S. C. Chan
ICCS
2007
Springer
14 years 2 months ago
Inaccuracies of Shape Averaging Method Using Dynamic Time Warping for Time Series Data
Shape averaging or signal averaging of time series data is one of the prevalent subroutines in data mining tasks, where Dynamic Time Warping distance measure (DTW) is known to work...
Vit Niennattrakul, Chotirat Ann Ratanamahatana
FORMATS
2010
Springer
13 years 6 months ago
Combining Symbolic Representations for Solving Timed Games
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
Rüdiger Ehlers, Robert Mattmüller, Hans-...