1390 search results - page 62 / 278 » On the Algebraic Structure of Convergence |
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
Structural indices play a significant role in improving the efficiency of XML query evaluation. Being able to compare various structural indexing techniques is critical for a DBM...
KDD
2002
ACM
16 years 8 days ago
2002
ACM
In the last several years, large OLAP databases have become common in a variety of applications such as corporate data warehouses and scientific computing. To support interactive ...
100
click to vote
LICS
2003
IEEE
15 years 5 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
VMCAI
2005
Springer
15 years 5 months ago
2005
Springer
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...
ECCV
2000
Springer
16 years 1 months ago
2000
Springer
The paper has two main contributions: The rst is a set of methods for computing structure and motion for m 3 views of 6 points. It is shown that a geometric image error can be mini...