1368 search results - page 110 / 274 » Generalized Rook Polynomials |
155
click to vote
STACS
2007
Springer
15 years 10 months 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...
105
click to vote
CSB
2005
IEEE
15 years 10 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 ...
140
click to vote
IPPS
2005
IEEE
15 years 10 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...
115
click to vote
GECCO
2005
Springer
15 years 10 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...
122
click to vote
STACS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we determine some limit distributions of pattern statistics in rational stochastic models, defined by means of nondeterministic weighted finite automata. ...