1632 search results - page 163 / 327 » Sublinear Time Algorithms for Metric Space Problems |
164
click to vote
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
233
click to vote
ICDE
2002
IEEE
16 years 5 months ago
2002
IEEE
We investigate techniques for analysis and retrieval of object trajectories in a two or three dimensional space. Such kind of data usually contain a great amount of noise, that ma...
148
click to vote
AIPS
2010
15 years 6 months ago
2010
Compared to optimal planners, satisficing planners can solve much harder problems but may produce overly costly and long plans. Plan quality for satisficing planners has become in...
234
click to vote
ICDE
2007
IEEE
16 years 5 months ago
2007
IEEE
The goal of this paper is to monitor numerical streams, and to find subsequences that are similar to a given query sequence, under the DTW (Dynamic Time Warping) distance. Applica...
153
click to vote
KDD
1997
ACM
15 years 8 months ago
1997
ACM
Theproblemof efficiently and accurately locating patterns of interest in massivetimeseries data sets is an important and non-trivial problemin a wide variety of applications, incl...