Sciweavers

1730 search results - page 2 / 346
» Algebra and Computation
Sort
View
AI
2008
Springer
13 years 5 months ago
Semiring induced valuation algebras: Exact and approximate local computation algorithms
Local computation in join trees or acyclic hypertrees has been shown to be linked to a particular algebraic structure, called valuation algebra. There are many models of this alge...
Jürg Kohlas, Nic Wilson
AMC
2010
114views more  AMC 2010»
13 years 5 months ago
Witness sets of projections
Elimination is a basic algebraic operation which geometrically corresponds to projections. This article describes using the numerical algebraic geometric concept of witness sets t...
Jonathan D. Hauenstein, Andrew J. Sommese
LICS
2000
IEEE
13 years 9 months ago
Computational Complexity of Some Problems Involving Congruences on Algebras
We prove that several problems concerning congruences on algebras are complete for nondeterministic log-space. These problems are: determining the congruence on a given algebra gen...
Clifford Bergman, Giora Slutzki
IJCGA
2008
179views more  IJCGA 2008»
13 years 5 months ago
Computing the Hausdorff Distance between Curved Objects
The Hausdorff distance between two sets of curves is a measure for the similarity of these objects and therefore an interesting feature in shape recognition. If the curves are alg...
Helmut Alt, Ludmila Scharf
TOCL
2002
110views more  TOCL 2002»
13 years 5 months ago
Abstract computability and algebraic specification
Computability and Algebraic Specification J. V. TUCKER University of Wales, Swansea and J. I. ZUCKER McMaster University Abstract computable functions are defined by abstract finit...
J. V. Tucker, Jeffery I. Zucker