6456 search results - page 247 / 1292 » Constraint Solving on Terms |
167
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The availability of genome sequences for many organisms enabled the reconstruction of several genome-scale metabolic network models. Currently, significant efforts are...
176
click to vote
JCSS
2008
15 years 6 months ago
2008
In this paper we derive a generic form of structural decomposition for the constraint satisfaction problem, which we call a guarded decomposition. We show that many existing decom...
185
click to vote
JSAC
2007
15 years 6 months ago
2007
— We consider the general problem of optimizing the performance of OBS networks with multiple traffic classes subject to strict (absolute) QoS constraints in terms of the end-to...
134
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Quantization, defined as the act of attributing a finite number of grey-levels to an image, is an essential task in image acquisition and coding. It is also intricately linked to ...
167
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Methods for the automatic composition of services into executable workflows need detailed knowledge about the application domain, in particular about the available servic...