Sciweavers

118 search results - page 20 / 24
» The t4sql temporal query language
Sort
View
ICLP
1997
Springer
14 years 3 months ago
The Complexity of Model Checking in Modal Event Calculi
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
SIGMOD
2004
ACM
262views Database» more  SIGMOD 2004»
14 years 11 months ago
The Next Database Revolution
Database system architectures are undergoing revolutionary changes. Most importantly, algorithms and data are being unified by integrating programming languages with the database ...
Jim Gray
CIDR
2007
92views Algorithms» more  CIDR 2007»
14 years 9 days ago
Consistent Streaming Through Time: A Vision for Event Stream Processing
Event processing will play an increasingly important role in constructing enterprise applications that can immediately react to business critical events. Various technologies have...
Roger S. Barga, Jonathan Goldstein, Mohamed H. Ali...
DAGSTUHL
2007
14 years 9 days ago
An XML Framework for Integrating Continuous Queries, Composite Event Detection, and Database Condition Monitoring for Multiple D
Abstract Current, data-driven applications have become more dynamic in nature, with the need to respond to events generated from distributed sources or to react to information extr...
Susan Darling Urban, Suzanne W. Dietrich, Yi Chen
CIVR
2007
Springer
103views Image Analysis» more  CIVR 2007»
14 years 5 months ago
The value of stories for speech-based video search
Anecdotal evidence suggests that story-level information is important for the speech component of video retrieval. In this paper we perform a systematic examination of the combina...
Bouke Huurnink, Maarten de Rijke