Sciweavers

5214 search results - page 839 / 1043
» The Online Specialization Problem
Sort
View
CONSTRAINTS
2008
95views more  CONSTRAINTS 2008»
15 years 6 months ago
Efficient Sequence Alignment with Side-Constraints by Cluster Tree Elimination
Aligning DNA and protein sequences is a core technique in molecular biology. Often, it is desirable to include partial prior knowledge and conditions in an alignment. Going beyond...
Sebastian Will, Anke Busch, Rolf Backofen
CORR
2010
Springer
78views Education» more  CORR 2010»
15 years 6 months ago
Flow-Cut Gaps for Integer and Fractional Multiflows
Consider a routing problem instance consisting of a demand graph H = (V, E(H)) and a supply graph G = (V, E(G)). If the pair obeys the cut condition, then the flow-cut gap for thi...
Chandra Chekuri, F. Bruce Shepherd, Christophe Wei...
CORR
2008
Springer
143views Education» more  CORR 2008»
15 years 6 months ago
On combinations of local theory extensions
Many problems in mathematics and computer science can be reduced to proving the satisfiability of conjunctions of literals in a background theory which is often the extension of a ...
Viorica Sofronie-Stokkermans
CORR
2008
Springer
126views Education» more  CORR 2008»
15 years 6 months ago
Interference Channels with Correlated Receiver Side Information
The problem of joint source-channel coding in transmitting independent sources over interference channels with correlated receiver side information is studied. When each receiver ...
Nan Liu, Deniz Gündüz, Andrea J. Goldsmi...
155
Voted
CORR
2008
Springer
86views Education» more  CORR 2008»
15 years 6 months ago
Dynamic System Adaptation by Constraint Orchestration
Abstract. For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fl...
Luuk Groenewegen, Erik P. de Vink