Sciweavers

2962 search results - page 58 / 593
» Optimizing Spatial Data Structures For Static Data
Sort
View
SIGMOD
2000
ACM
143views Database» more  SIGMOD 2000»
14 years 1 months ago
Closest Pair Queries in Spatial Databases
This paper addresses the problem of finding the K closest pairs between two spatial data sets, where each set is stored in a structure belonging in the R-tree family. Five diffe...
Antonio Corral, Yannis Manolopoulos, Yannis Theodo...
CDC
2010
IEEE
107views Control Systems» more  CDC 2010»
13 years 4 months ago
Deployment of an unreliable robotic sensor network for spatial estimation
This paper studies an optimal deployment problem for a network of robotic sensors moving in the real line. Given a spatial process of interest, each individual sensor sends a pack...
Jorge Cortes
RSP
2000
IEEE
156views Control Systems» more  RSP 2000»
14 years 1 months ago
Quasi-Static Scheduling of Reconfigurable Dataflow Graphs for DSP Systems
Dataflow programming has proven to be popular for representing applications in rapid prototyping tools for digital signal processing (DSP); however, existing dataflow design tools...
Bishnupriya Bhattacharya, Shuvra S. Bhattacharyya
VMCAI
2005
Springer
14 years 2 months ago
Generalized Typestate Checking for Data Structure Consistency
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
Patrick Lam, Viktor Kuncak, Martin C. Rinard
ALGORITHMICA
1998
75views more  ALGORITHMICA 1998»
13 years 8 months ago
Average Case Analyses of List Update Algorithms, with Applications to Data Compression
We study the performance of the Timestamp(0) (TS(0)) algorithm for self-organizing sequential search on discrete memoryless sources. We demonstrate that TS(0) is better than Move-...
Susanne Albers, Michael Mitzenmacher