2430 search results - page 293 / 486 » Computing Tutte Polynomials |
128
Voted
CIS
2004
Springer
15 years 9 months ago
2004
Springer
For finding accurate and biologically meaningful multiple sequence alignment, it is required to consider a loosely constrained version of multiple sequence alignment. This paper is...
104
Voted
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
108
Voted
CPAIOR
2004
Springer
15 years 9 months ago
2004
Springer
This paper shows that existing definitions of costs associated with soft global constraints are not sufficient to deal with all the usual global constraints. We propose more expre...
117
Voted
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
We consider the problem of determining whether a given set S in Rn is approximately convex, i.e., if there is a convex set K ∈ Rn such that the volume of their symmetric differe...
140
Voted
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In practical applications evaluating a fitness function is frequently subject to noise, i. e., the “true fitness” is disturbed by some random variations. Evolutiona...