Sciweavers

1888 search results - page 166 / 378
» Algorithms for Querying by Spatial Structure
Sort
View
APLAS
2011
ACM
14 years 4 months ago
Solving Recursion-Free Horn Clauses over LI+UIF
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenk...
VLDB
1997
ACM
104views Database» more  VLDB 1997»
15 years 8 months ago
A Generic Approach to Bulk Loading Multidimensional Index Structures
Abstract: Recently there has been an increasing interest in supporting bulk operations on multidimensional index structures. Bulk loading refers to the process of creating an initi...
Jochen Van den Bercken, Bernhard Seeger, Peter Wid...
SMA
2009
ACM
208views Solid Modeling» more  SMA 2009»
15 years 11 months ago
Accelerating geometric queries using the GPU
We present practical algorithms for accelerating geometric queries on models made of NURBS surfaces using programmable Graphics Processing Units (GPUs). We provide a generalized f...
Adarsh Krishnamurthy, Sara McMains, Kirk Haller
ICIP
2002
IEEE
15 years 9 months ago
Structure and texture filling-in of missing image blocks in wireless transmission and compression
—An approach for filling-in blocks of missing data in wireless image transmission is presented in this paper. When compression algorithms such as JPEG are used as part of the wir...
Shantanu Rane, Marcelo Bertalmío, Guillermo...
CCCG
2010
15 years 5 months ago
I/O-efficient triangular range search and its application
In this paper, we consider a special type of triangular range search for a planar point set S in the I/O-model. Here, two sides of the query triangle are parallel to the coordinat...
Gautam K. Das, Bradford G. Nickerson