Sciweavers

3145 search results - page 124 / 629
» Algebraic Linear Orderings
Sort
View
ESAW
2006
Springer
15 years 8 months ago
Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
Tim Miller, Peter McBurney
BMCBI
2007
129views more  BMCBI 2007»
15 years 4 months ago
Algebraic correction methods for computational assessment of clone overlaps in DNA fingerprint mapping
Background: The Sulston score is a well-established, though approximate metric for probabilistically evaluating postulated clone overlaps in DNA fingerprint mapping. It is known t...
Michael C. Wendl
CORR
2010
Springer
107views Education» more  CORR 2010»
15 years 4 months ago
Duality and canonical extensions for stably compact spaces
We construct a canonical extension for strong proximity lattices in order to give an algebraic, point-free description of a finitary duality for stably compact spaces.
Sam van Gool
CORR
2008
Springer
116views Education» more  CORR 2008»
15 years 4 months ago
On the Computation of the Topology of a Non-Reduced Implicit Space Curve
An algorithm is presented for the computation of the topology of a non-reduced space curve defined as the intersection of two implicit algebraic surfaces. It computes a Piecewise ...
Daouda Niang Diatta, Bernard Mourrain, Olivier Rua...
ESA
2007
Springer
99views Algorithms» more  ESA 2007»
15 years 10 months ago
Linear-Time Ranking of Permutations
Abstract. A lexicographic ranking function for the set of all permutations of n ordered symbols translates permutations to their ranks in the lexicographic order of all permutation...
Martin Mares, Milan Straka