Sciweavers

713 search results - page 66 / 143
» Saving Space by Algebraization
Sort
View
CIE
2007
Springer
16 years 10 days ago
A Useful Undecidable Theory
Abstract. We show that many so called discrete weak semilattices considered earlier in a series of author’s publications have hereditary undecidable first-order theories. Since ...
Victor L. Selivanov
CORR
2010
Springer
89views Education» more  CORR 2010»
15 years 6 months ago
Involutive Categories and Monoids, with a GNS-correspondence
This paper develops the basics of the theory of involutive categories and shows that such categories provide the natural setting in which to describe involutive monoids. It is sho...
Bart Jacobs
JCT
2006
69views more  JCT 2006»
15 years 6 months ago
The Bergman complex of a matroid and phylogenetic trees
We study the Bergman complex B(M) of a matroid M: a polyhedral complex which arises in algebraic geometry, but which we describe purely combinatorially. We prove that a natural su...
Federico Ardila, Caroline J. Klivans
CG
2004
Springer
15 years 6 months ago
A barcode shape descriptor for curve point cloud data
In this paper, we present a complete computational pipeline for extracting a compact shape descriptor for curve point cloud data. Our shape descriptor, called a barcode, is based ...
Anne D. Collins, Afra Zomorodian, Gunnar Carlsson,...
NA
2010
87views more  NA 2010»
15 years 4 months ago
A note on the O(n)-storage implementation of the GKO algorithm and its adaptation to Trummer-like matrices
We propose a new O(n)-space implementation of the GKO-Cauchy algorithm for the solution of linear systems where the coefficient matrix is Cauchy-like. Moreover, this new algorithm...
Federico Poloni