10051 search results - page 299 / 2011 » A Dynamic Separator Algorithm |
175
Voted
CSL
2005
Springer
16 years 10 days ago
2005
Springer
We show that Csanky’s fast parallel algorithm for computing the characteristic polynomial of a matrix can be formalized in the logical theory LAP, and can be proved correct in LA...
198
click to vote
GECCO
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper presents an intelligent method based on multiuobjective genetic algorithm (MOGA) for prediction of limit cycle in multivariable nonlinear systems. First we add...
160
click to vote
ISMB
1997
15 years 8 months ago
1997
Anewheuristic algorithm is presented for mapping probes to locations along the genome,given noisy pairwise distance data as input. Themodel consideredis quite general: Theinput co...
184
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
: We study the satisfiability of randomly generated formulas formed by M clauses of exactly K literals over N Boolean variables. For a given value of N the problem is known to be m...
173
click to vote
JETAI
1998
15 years 6 months ago
1998
Graphical structures such as Bayesian networks or Markov networks are very useful tools for representing irrelevance or independency relationships, and they may be used to e cientl...