Sciweavers

4397 search results - page 391 / 880
» Relational Algebra Operations
Sort
View
GIS
1999
ACM
15 years 10 months ago
A Provably Efficient Computational Model for Approximate Spatiotemporal Retrieval
: The paper is concerned with the effective and efficient processing of spatiotemporal selection queries under varying degrees of approximation. Such queries may employ operators l...
Vasilis Delis, Christos Makris, Spyros Sioutas
CAEPIA
2005
Springer
15 years 11 months ago
Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility
Abstract. In this paper, we enrich the logic of order of magnitude qualitative reasoning by means of a new notion of negligibility which has very useful properties with respect to ...
Alfredo Burrieza, Emilio Muñoz-Velasco, Man...
CMMR
2004
Springer
88views Music» more  CMMR 2004»
15 years 11 months ago
Music Segmentation: An XML-oriented Approach
Abstract. In this paper, two related subjects are discussed: musical segmentation and the representation of its results in a particular XML encoding, namely MX. About segmentation,...
Goffredo Haus, Luca A. Ludovico
145
Voted
ICCD
1993
IEEE
94views Hardware» more  ICCD 1993»
15 years 10 months ago
Symbolic Analysis Methods for Masks, Circuits, and Systems
Symbolic representations of systems can achieve a high degree of compaction relative to more explicit forms. By casting an analysis task in terms of operations on a symbolic repre...
Randal E. Bryant
AMI
2009
Springer
15 years 10 months ago
Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
Doina Bucur, Marta Z. Kwiatkowska