7129 search results - page 708 / 1426 » Approximation Algorithms for Treewidth |
285
click to vote
CPM
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. This paper addresses the problem of aligning multiple sequences of non-coding RNA genes. We approach this problem with the biologically motivated paradigm that scoring of...
226
click to vote
ICALP
2004
Springer
16 years 18 days ago
2004
Springer
We study graph orientations that minimize the entropy of the in-degree sequence. The problem of finding such an orientation is an interesting special case of the minimum entropy ...
161
click to vote
ISSAC
2004
Springer
16 years 18 days ago
2004
Springer
We give a necessary and sufficient condition for an algebraic ODE to have a rational type general solution. For an autonomous first order ODE, we give an algorithm to compute a r...
266
Voted
TACAS
2004
Springer
16 years 17 days ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
200
click to vote
WAOA
2004
Springer
16 years 17 days ago
2004
Springer
SONET add-drop multiplexers (ADMs) are the dominant cost factor in SONET /WDM rings. The number of SONET ADMs required by a set of traffic streams is determined by the routing and...