5622 search results - page 851 / 1125 » Solving architectural modelling problems using knowledge |
137
click to vote
ANOR
2008
15 years 5 months ago
2008
Abstract Column generation techniques have become a widely used technique to successfully solve large (integer) linear programs. One of the keys to obtaining a practically efficien...
123
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
The aim of this research is twofold: Firstly, to model and solve a complex nurse scheduling problem with an integer programming formulation and evolutionary algorithms. Secondly, ...
130
click to vote
ENTCS
2007
15 years 5 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
119
click to vote
MONET
2008
15 years 4 months ago
2008
Cognitive Radio has been proposed as a promising technology to solve today's spectrum scarcity problem by dynamic spectrum access. The MPSoC reconfigurable platform is propose...
173
click to vote
AAAI
2011
14 years 5 months ago
2011
We present a dual decomposition approach to the treereweighted belief propagation objective. Each tree in the tree-reweighted bound yields one subproblem, which can be solved with...