Sciweavers

6897 search results - page 22 / 1380
» Parallelization of Modular Algorithms
Sort
View
ICALP
2007
Springer
14 years 2 months ago
Modular Algorithms for Heterogeneous Modal Logics
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
Lutz Schröder, Dirk Pattinson
ISSAC
1997
Springer
125views Mathematics» more  ISSAC 1997»
14 years 23 days ago
A Modular Algorithm for Computing Greatest Common Right Divisors of Ore Polynomials
Abstract. This paper presents a modular algorithm for computing the greatest common right divisor (gcrd) of two univariate Ore polynomials over Z[t]. The subresultants of Ore polyn...
Ziming Li, István Nemes
ADMA
2005
Springer
189views Data Mining» more  ADMA 2005»
14 years 2 months ago
Parallel Genetic Algorithm and Parallel Simulated Annealing Algorithm for the Closest String Problem
In this paper, we design genetic algorithm and simulated annealing algorithm and their parallel versions to solve the Closest String problem. Our implementation and experiments sho...
Xuan Liu, Hongmei He, Ondrej Sýkora
ECAL
2007
Springer
14 years 2 months ago
Symbiosis, Synergy and Modularity: Introducing the Reciprocal Synergy Symbiosis Algorithm
Symbiosis, the collaboration of multiple organisms from different species, is common in nature. A related phenomenon, symbiogenesis, the creation of new species through the genetic...
Rob Mills, Richard A. Watson