2861 search results - page 378 / 573 » Constraint Programming |
114
Voted
ENTCS
2002
15 years 2 months ago
2002
In previous work [14] I introduced a generalised notion of coalgebra that is capable of modelling binary methods as they occur in object-oriented programming. An important problem...
120
click to vote
CDC
2009
IEEE
15 years 11 days ago
2009
IEEE
We consider a network of control systems connected over a graph. Considering the graph structure as constraints on the set of permissible controllers, we show that such systems ar...
152
Voted
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further use...
118
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: High throughput sequencing (HTS) platforms produce gigabases of short read (<100 bp) data per run. While these short reads are adequate for resequencing application...
173
Voted
JDCTA
2010
14 years 9 months ago
2010
To solve the cruise two-dimensional revenue management problem and develop such an automated system under uncertain environment, a static model which is a stochastic integer progr...