1380 search results - page 111 / 276 » A General Polynomial Sieve |
181
click to vote
ADAEUROPE
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. In this paper we present algorithms to statically detect livelocks in Ada multitasking programs. Although the algorithms’ worst-case execution time is exponential, they...
185
click to vote
STACS
2007
Springer
16 years 11 days ago
2007
Springer
Hybrid logics extend modal logics by first-order concepts, in particular they allow a limited use of variables. Unfortunately, in general, satisfiability for hybrid formulas is u...
127
click to vote
CSB
2005
IEEE
15 years 12 months ago
2005
IEEE
We study the parsimony approach to haplotype inference, which calls for finding a set of haplotypes of minimum cardinality that explains an input set of genotypes. We prove that ...
165
click to vote
IPPS
2005
IEEE
15 years 12 months ago
2005
IEEE
We propose a new self-stabilizing anonymous leader election algorithm in a tree graph. We show the correctness of the protocol and show that the protocol terminates in O(n4 ) time...
136
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
In this paper the potential of GP-generated symbolic regression for alleviating multicollinearity problems in multiple regression is presented with a case study in an industrial s...