Sciweavers

4961 search results - page 440 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
VMCAI
2007
Springer
15 years 11 months ago
Shape Analysis of Single-Parent Heaps
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
WAIM
2007
Springer
15 years 11 months ago
An Efficient Spatial Search Method Based on SG-Tree
To solve the overlapping search of multidimensional spatial database containing large quantity of objects with dynamic spatial extent, this paper proposes an index structure named ...
Yintian Liu, Changjie Tang, Lei Duan, Tao Zeng, Ch...
CLUSTER
2006
IEEE
15 years 11 months ago
A Parallel Algorithm for the Solution of the Deconvolution Problem on Heterogeneous Networks
In this work we present a parallel algorithm for the solution of a least squares problem with structured matrices. This problem arises in many applications mainly related to digit...
Pedro Alonso, Antonio M. Vidal, Alexey L. Lastovet...
CSMR
2006
IEEE
15 years 11 months ago
Dynamic Object Process Graphs
A trace is a record of the execution of a computer program, showing the sequence of operations executed. A trace may be obtained through static or dynamic analysis. An object trac...
Jochen Quante, Rainer Koschke
ICRA
2006
IEEE
139views Robotics» more  ICRA 2006»
15 years 11 months ago
Localization with Omnidirectional Images using the Radial Trifocal Tensor
— In this paper we present a technique to linearly recover 2D structure and motion in man made environments from three uncalibrated omnidirectional views. We use vertical lines f...
Carlos Sagüés, A. C. Murillo, Jos&eacu...