3352 search results - page 101 / 671 » Hierarchical Problem Solving and the Bayesian Optimization A... |
171
Voted
TSMC
2010
14 years 11 months ago
2010
The memory dumping problem arises in the context of planning and scheduling activities of the Mars Express mission of the European Space Agency. The problem consists of scheduling...
169
click to vote
COMPUTING
2008
15 years 5 months ago
2008
Generalizing the approach of a previous work [15] the authors present multilevel preconditioners for three-dimensional (3D) elliptic problems discretized by a family of Rannacher ...
165
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
The Unit Commitment Problem (UCP) is the task of finding an optimal turn on and turn off schedule for a group of power generation units over a given time horizon to minimize ope...
145
Voted
VMCAI
2007
Springer
15 years 11 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
126
Voted
DATE
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper presents an algorithmic technique based on hybridizing Symbolic Manipulation Techniques based on BDDs with more traditional Explicit solving algorithms. To validate the...