Sciweavers

4520 search results - page 383 / 904
» Algebraic Techniques for Timed Systems
Sort
View
SBBD
2004
119views Database» more  SBBD 2004»
15 years 9 months ago
Computing the Dependency Basis for Nested List Attributes
Multi-valued dependencies (MVDs) are an important class of constraints that is fundamental for relational database design. Although modern applications increasingly require the su...
Sven Hartmann, Sebastian Link
ICIAP
2007
ACM
16 years 7 months ago
Exploiting Temporal Statistics for Events Analysis and Understanding
In this paper, we propose a technique for detecting possible events in outdoor areas monitored by a video surveillance system. In particular, here we focus on the time spent by an...
Christian Micheloni, Lauro Snidaro, Claudio Piciar...
FORMATS
2010
Springer
15 years 5 months ago
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
Alexandre Donzé, Oded Maler
WWW
2001
ACM
16 years 8 months ago
Building a distributed full-text index for the Web
We identify crucial design issues in building a distributed inverted index for a large collection of web pages. We introduce a novel pipelining technique for structuring the core ...
Sergey Melnik, Sriram Raghavan, Beverly Yang, Hect...
348
Voted
ICDE
2008
IEEE
141views Database» more  ICDE 2008»
16 years 9 months ago
SPOT: A System for Detecting Projected Outliers From High-dimensional Data Streams
In this paper, we present a new technique, called Stream Projected Ouliter deTector (SPOT), to deal with outlier detection problem in high-dimensional data streams. SPOT is unique ...
Ji Zhang, Qigang Gao, Hai H. Wang