Sciweavers

713 search results - page 66 / 143
» Saving Space by Algebraization
Sort
View
117
Voted
CIE
2007
Springer
15 years 6 months 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
76
Voted
CORR
2010
Springer
89views Education» more  CORR 2010»
15 years 19 days 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
107
Voted
JCT
2006
69views more  JCT 2006»
15 years 15 days 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
113
Voted
CG
2004
Springer
15 years 11 days 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»
14 years 11 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