Sciweavers

1418 search results - page 69 / 284
» A Theory of Stream Queries
Sort
View
EWSN
2006
Springer
14 years 8 months ago
Semantic Streams: A Framework for Composable Semantic Interpretation of Sensor Data
We present a framework called Semantic Streams that allows users to pose declarative queries over semantic interpretations of sensor data. For example, instead of querying raw magn...
Kamin Whitehouse, Feng Zhao, Jie Liu
ICALP
2010
Springer
13 years 9 months ago
Towards a Theory of Time-Bounded Verification
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
Joël Ouaknine, James Worrell
SIGMOD
2003
ACM
161views Database» more  SIGMOD 2003»
14 years 9 months ago
Approximate Join Processing Over Data Streams
We consider the problem of approximating sliding window joins over data streams in a data stream processing system with limited resources. In our model, we deal with resource cons...
Abhinandan Das, Johannes Gehrke, Mirek Riedewald
SIGIR
2004
ACM
14 years 2 months ago
Hourly analysis of a very large topically categorized web query log
We review a query log of hundreds of millions of queries that constitute the total query traffic for an entire week of a generalpurpose commercial web search service. Previously, ...
Steven M. Beitzel, Eric C. Jensen, Abdur Chowdhury...
ICDE
2008
IEEE
182views Database» more  ICDE 2008»
14 years 10 months ago
A Generic Framework for Continuous Motion Pattern Query Evaluation
We introduce a novel query type defined over streaming moving object data, namely, the Continuous Motion Pattern (CMP) Queries. A motion pattern is defined as a sequence of distin...
Petko Bakalov, Vassilis J. Tsotras